Commits

Dmitry Grebeniuk  committed 66fa9bc Draft

on actions

  • Participants
  • Parent commits a0d7f12

Comments (0)

Files changed (1)

File src/pre_template.ml

     Printf.printf "%s: done\n%!" funcname
 
 
-let ( >> ) act1 act2 = fun () -> let () = act1 () in (act2 () : unit)
+let ( ( >> ) : action -> action -> action) = fun act1 act2 ->
+  fun () -> let () = act1 () in (act2 () : unit)
 
 
 module Cond
     type cond
     val of_bool : bool -> cond
     val is_file : string -> cond
-    val if_ : cond -> (unit -> unit) -> (unit -> unit) -> (unit -> unit)
+    val if_ : cond -> action -> action -> action
   end
  =
   struct