(*
    Title: 	Client code
    LastEdit:	"Tue Jan  5 10:27:17 1988"
    Author: 	Derek McAuley,Oms1,4663,329629
		Cambridge University Computer Laboratory
*)

DEFINITION MODULE RPCRemote;


IMPORT
  PktBufs, RPCBasics, RPCStates;
  

EXPORT QUALIFIED 
  Call, ReceivedPkt, Calls, Init;


PROCEDURE Call(VAR p:PktBufs.T):RPCBasics.RC;

PROCEDURE ReceivedPkt(
  p:    PktBufs.T;
  state:RPCStates.T
 );

PROCEDURE Calls(
  VAR total: CARDINAL; (* Out *)
  VAR normal:CARDINAL; (* Out *)
  VAR except:CARDINAL; (* Out *)
  VAR broken:CARDINAL; (* Out *)
  VAR active:CARDINAL; (* Out *)
      reset: BOOLEAN
 );

PROCEDURE Init();

END RPCRemote.
