Types.mesa
Copyright Ó 1985, 1986, 1987, 1991 by Xerox Corporation. All rights reserved.
Satterthwaite, June 18, 1986 10:15:33 am PDT
Russ Atkinson (RRA) October 12, 1987 7:05:59 pm PDT
DIRECTORY
Symbols USING [CSEIndex],
SymbolTable USING [Base];
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 [BOOL];
Equivalent: PROC [type1, type2: Types.Handle] RETURNS [BOOL];
}.