-- Transport mechanism: DEFS for lists of R-Names

-- [Juniper]<DMS>MS>RListDefs.mesa

-- Andrew Birrell   4-Aug-80 16:14:17

DIRECTORY
  BodyDefs USING [RName],
  ProtocolDefs USING [Handle];

RListDefs: DEFINITIONS =

  BEGIN

  -- These defs are intended to be implemented on the disk heap in the server
  -- and in main memory in the GV-User package --

  RListHandle: TYPE [SIZE[POINTER]];

  Receive: PROC [str: ProtocolDefs.Handle] RETURNS [RListHandle];
  -- may raise ProtocolDefs.Failed --

  Enumerate: PROC [
    list: RListHandle, work: PROC [BodyDefs.RName] RETURNS [done: BOOLEAN]];

  Close: PROC [list: RListHandle];

  END.