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.
The most recent memory location allocated to a variable, or alternatively the size of memory minus one.
Reset the symbol table.
Symbol table module containing facilities for creating and manipulating Obr language symbol information.