-- file Types.Mesa
-- last modified by Satterthwaite, August 21, 1978  5:15 PM

DIRECTORY
  SymbolTable: FROM "symboltable" USING [Base],
  Symbols: FROM "symbols" USING [CSEIndex];

Types: DEFINITIONS =
  BEGIN

  SymbolTableBase: TYPE = SymbolTable.Base;

  Handle: TYPE = RECORD[
    stb: SymbolTable.Base,
    sei: Symbols.CSEIndex];

 -- type manipulation

  Equivalent: PROCEDURE [type1, type2: Types.Handle] RETURNS [BOOLEAN];
  Assignable: PROCEDURE [typeL, typeR: Types.Handle] RETURNS [BOOLEAN];

  END.