For each variable we list its type, effect, and any exception it may raise. Some built-in identifiers are overloaded; this is specified using overloading classes. For instance, an identifier whose type involves the overloading class realint stands for two functions: one in which realint (in the type) is consistently replaced by int, and another in which realint is consistently replaced by real. The overloading classes are:
When the context does not otherwise resolve the overloading, it defaults to int.
