Commits

Dmitry Grebeniuk  committed e20c6b6

.

  • Participants
  • Parent commits 21555e1

Comments (0)

Files changed (2)

     value proto_server = Proto.proto_server
     ;
 
+    value proto_call = Proto.proto_call
+    ;
+
 
     (*************************************************************)
 
  *)
 value proto_server : Cdt.ti 'p -> process_factory 'p -> process_factory 'p
 ;
+
+(* call the process with "proto" semantics (see [proto_server]
+   for description). *)
+value proto_call : Cdt.ti 'p -> process 'p -> 'p -> unit
+;