-- file ReplOps.mesa
-- last edited by Satterthwaite, November 1, 1982 1:16 pm

DIRECTORY
  Symbols: TYPE USING [ISEIndex, CBTIndex],
  SymbolTable: TYPE USING [Base];
  
ReplOps: DEFINITIONS = {

  BodyHandle: TYPE = RECORD [
    stb: SymbolTable.Base,
    bti: Symbols.CBTIndex];

  IdHandle: TYPE = RECORD [
    stb: SymbolTable.Base,
    sei: Symbols.ISEIndex];
    

  MatchedBodies: PROC [bodyL, bodyR: BodyHandle] RETURNS [BOOL];
  
  MatchAttr: TYPE = {id, strings};
  Unmatched: SIGNAL [attr: MatchAttr, id: IdHandle];
  
  }.