
set_var_type(?Var, ++Type)

   Sets the type of the given variable to the given type.

Arguments
   Var                 Variable to set type of
   Type                Type to be set 'real' or 'integer'

Type
   library(ic_kernel)

Description

   Typically not called directly but indirectly through reals/1 and
   integers/1.


See Also
   set_vars_type / 2, reals / 1, integers / 1
