+let eval_from_moo ?do_heavy_checks ?include_paths ?clean_baseuri status fname
+ cb
+=
+ let moo = MatitaMoo.load_moo fname in
+ List.iter
+ (fun ast ->
+ let ast =
+ GrafiteAst.Executable (DisambiguateTypes.dummy_floc,
+ GrafiteAst.Command (DisambiguateTypes.dummy_floc,
+ (GrafiteAst.reash_cmd_uris ast)))
+ in
+ cb !status ast;
+ status :=
+ eval_ast ?do_heavy_checks ?include_paths ?clean_baseuri !status ast)
+ moo
+