Types.mesa
Copyright © 1985 by Xerox Corporation. All rights reserved.
Satterthwaite, September 20, 1985 9:41:57 am PDT
Russ Atkinson (RRA) January 31, 1985 1:13:55 pm PST
DIRECTORY
SymbolTable: TYPE USING [Base],
Symbols: TYPE USING [CSEIndex];
Types: DEFINITIONS = {
SymbolTableBase: TYPE = SymbolTable.Base;
Handle: TYPE = RECORD[
stb: SymbolTable.Base,
sei: Symbols.CSEIndex];
opaque type evaluation
OpaqueValue: PROC [type: Types.Handle, base: SymbolTable.Base]
RETURNS [val: Types.Handle];
type manipulation
Assignable: PROC [typeL, typeR: Types.Handle] RETURNS [BOOLEAN];
Equivalent: PROC [type1, type2: Types.Handle] RETURNS [BOOLEAN];
}.