val go : unit -> unit
val main : mode:[ `COMPILER | `TOPLEVEL ] -> 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
partially compiled