Commits

Dmitry Grebeniuk  committed 42de179

.

  • Participants
  • Parent commits e20c6b6

Comments (0)

Files changed (2)

     ;
 
 
+    value dest_put_error
+     : dest 'o -> string -> unit
+     = fun d s ->
+         dest_put d (CR_Error (`Exn_string s))
+    ;
+
+
     value (dest_pre_map : ('a -> 'b) -> dest 'b -> dest 'a) m d =
       let dest_ref = ref None in
       { dest_ref
 ;
 
 
+
 value dest_put : dest 'o -> call_resp 'o -> unit
 ;
 
 value dest_put_val : dest 'o -> 'o -> unit
 ;
 
+value dest_put_error : dest 'o -> string -> unit
+;
+
+
+
 value dest_get : dest 'o -> IO.m (call_resp 'o)
 ;