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