val eval_ast :
disambiguate_command:
(GrafiteTypes.status ->
- (GrafiteAst.command) disambiguator_input ->
+ GrafiteAst.command disambiguator_input ->
GrafiteTypes.status * GrafiteAst.command) ->
?do_heavy_checks:bool ->
GrafiteTypes.status ->
- (('term, 'lazy_term, 'reduction, 'obj, 'ident) GrafiteAst.statement)
- disambiguator_input ->
+ GrafiteAst.statement disambiguator_input ->
(* the new status and generated objects, if any *)
GrafiteTypes.status * [`Old of UriManager.uri list | `New of NUri.uri list]