-- file Types.Mesa
-- last modified by Satterthwaite, 12-Jan-82 15:28:36

DIRECTORY
  SymbolTable: TYPE USING [Base],
  Symbols: TYPE USING [CSEIndex];

Types: DEFINITIONS = {

  SymbolTableBase: TYPE = SymbolTable.Base;

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

 -- type manipulation

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

  }.