GrafiteTypes.status ->
(('term, 'lazy_term, 'reduction, 'obj, 'ident) GrafiteAst.statement)
disambiguator_input ->
(* the new status and generated objects, if any *)
GrafiteTypes.status * UriManager.uri list
GrafiteTypes.status ->
(('term, 'lazy_term, 'reduction, 'obj, 'ident) GrafiteAst.statement)
disambiguator_input ->
(* the new status and generated objects, if any *)
GrafiteTypes.status * UriManager.uri list