type 'a disambiguator_input = string * int * 'a
val eval_ast :
- include_paths:string list ->
- ?do_heavy_checks:bool ->
- GrafiteTypes.status ->
- GrafiteAst.statement disambiguator_input ->
- (* the new status and generated objects, if any *)
- GrafiteTypes.status * NUri.uri list
+ include_paths:string list -> ?do_heavy_checks:bool ->
+ GrafiteTypes.status -> GrafiteAst.statement disambiguator_input ->
+ GrafiteTypes.status