-- file ReplOps.mesa
-- last edited by Satterthwaite,  5-Jan-82  9:45:17

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 [BOOLEAN];
  
  MatchAttr: TYPE = {id, strings};
  Unmatched: SIGNAL [attr: MatchAttr, id: IdHandle];
  
  }.