GrafiteAst.statement -> unit) ->
((GrafiteTypes.status * LexiconEngine.status) *
(DisambiguateTypes.domain_item * LexiconAst.alias_spec) option) list
GrafiteAst.statement -> unit) ->
((GrafiteTypes.status * LexiconEngine.status) *
(DisambiguateTypes.domain_item * LexiconAst.alias_spec) option) list