* http://helm.cs.unibo.it/
*)
-exception Drop
-exception IncludedFileNotCompiled of string * string
exception NMacro of GrafiteAst.loc * GrafiteAst.nmacro
type 'a disambiguator_input = string * int * 'a
val eval_ast :
- disambiguate_command:
- (GrafiteTypes.status ->
- (GrafiteAst.command) disambiguator_input ->
- GrafiteTypes.status * GrafiteAst.command) ->
-
- ?do_heavy_checks:bool ->
- GrafiteTypes.status ->
- (('term, 'lazy_term, 'reduction, 'obj, 'ident) GrafiteAst.statement)
- disambiguator_input ->
- (* the new status and generated objects, if any *)
- GrafiteTypes.status * [`Old of UriManager.uri list | `New of NUri.uri list]
+ include_paths:string list -> ?do_heavy_checks:bool ->
+ GrafiteTypes.status -> GrafiteAst.statement disambiguator_input ->
+ GrafiteTypes.status