Commits

Anonymous committed 176c604

.

  • Participants
  • Parent commits 27b630e

Comments (0)

Files changed (1)

 
 (***************************************************************)
 
+(* пока так, чтобы долго не думать.  потом разберёмся. *)
+value dest_local : unit -> dest 'o
+;
+
 value dest_put : dest 'o -> call_resp 'o -> unit
 ;