val main : mode:[ `COMPILER | `TOPLEVEL ] -> unit
(** fname is the .ma *)
-val dump_moo_to_file: string -> string list -> unit
+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