
var_type(?Var, -Type)

   Retrieve the type of a variable.

Arguments
   Var                 A variable or number
   Type                Type of Var (real or integer)

Type
   library(range)

Description

  Retrieve the type ('real' or 'integer') of a variable (or number).  If
  Var has not been declared before, it will be turned into an unrestricted
  real variable.


Fail Conditions
   Var is not a variable or number.


