An integer array type.
The Boolean type.
A constant integer entity with the given value.
An entity represents a thing that an expression language program can create and act on.
A named enumeration type.
The following is not an actual type, but it is compatible with every enumeration type - and so is useful when type checking constructs which must take a value of an arbitrary enumeration type.
An environment is a map from identifiers to entities.
An environment is a map from identifiers to entities. I.e. the bindings are the entries in the map.
The exception type.
The integer type.
A singleton entity about which we know too much.
A record type with the given fields.
The following is not an actual type, but it is compatible with every record type - and so is useful when type checking constructs which must take a value of an arbitrary record type.
All genuine types know how much storage in bytes is needed to store a value of their type.
Superclasses of all type representations.
A singleton entity about which we know nothing.
A type that we don't know anything about.
A variable entity of the given type.
The size in bytes of a word used to store both integer and Boolean values.
Counter for previously used location.
Reset the symbol table.
Symbol table module containing facilities for creating and manipulating Obr language symbol information.