that is a very good point, that information should be readily available somewhere on the web site. If you booked with a TA she/he should have told you that infants were not allowed in the pools, or your PVP should have mentioned that fact to you.
I have seen parents sit on the edge of the pool with baby on their lap, and they gently drizzle baby with water just to cool baby off. Technically baby isn't in the pool, and baby has a diaper on. Have also seen the quick dunk just to get the "piggies" wet. Either way i think this would be ok?