- let lexicon_status_ref = ref lexicon_status in
- let disambiguate_term = disambiguate_term None text prefix_len lexicon_status_ref [] in
- let metasenv,indty = disambiguate_term metasenv indty in
- !lexicon_status_ref, metasenv, GrafiteAst.Inverter (loc,n,indty,params)
- | GrafiteAst.UnificationHint (loc, t, n) ->
- let lexicon_status_ref = ref lexicon_status in
- let disambiguate_term =