/pliant/util/remote/common.pli
 
 1  module "/pliant/language/compiler.pli" 
 2   
 3  public 
 4   
 5  constant remote_tcp_port 611 
 6   
 7  type RemoteFunction 
 8    field Link:Function body 
 9    field Link:Type type 
 10    field Str id 
 11    field List:Int ro_list 
 12    field (Dictionary Str Int) ro_dict 
 13    field List:Int rw_list 
 14    field (Dictionary Str Int) rw_dict 
 15    field Link:Function local_streaming ; field Int ls_offset <- undefined 
 16    field Link:Function remote_streaming ; field Int rs_offset <- undefined 
 17    field Int host_offset <- undefined ; field Int rejected_offset <- undefined 
 18    field Link:Function success_code failure_code ; field Int message_offset <- undefined 
 19   
 20  gvar Dictionary remote_functions 
 21  gvar Sem remote_sem