(** go initializes the status and calls interactive_loop *)
val go : unit -> unit
val main : mode:[ `COMPILER | `TOPLEVEL ] -> unit
-val dump_moo_to_file: string -> string list -> unit
+
+(** fname is the .ma *)
+val dump_moo_to_file:
+ string ->
+ (CicNotationPt.term, GrafiteAst.obj) GrafiteAst.command list ->
+ unit
(** clean_exit n
if n = Some n it performs an exit [n] after a complete clean-up of what was