
reals(?Vars)

   Constrain Vars to be floats

Arguments
   Vars                List of variables or floats

Type
   library(suspend)

Description
   Constrain the variables in Vars to be floats. The constraint succeeds 
   when all the variables are bound to floats. The constraint is only 
   evaluated when all variables are ground.

Fail Conditions
   Vars has non-floats.


