* http://helm.cs.unibo.it/
*)
+val interactive_loop : unit -> unit
+
+(** go initializes the status and calls interactive_loop *)
val go : unit -> unit
val main : mode:[ `COMPILER | `TOPLEVEL ] -> unit
+
+(** clean_exit n
+ performs an exit [n] after a complete clean-up of what was partially compiled
+*)
+val clean_exit : int -> unit