- { estatus with NEstatus.lstatus = !lexicon_status_ref },
- metasenv, GrafiteAst.Inverter (loc,n,indty,params)
- | GrafiteAst.UnificationHint (loc, t, n) ->
- let lexicon_status_ref = ref estatus.NEstatus.lstatus in
- let disambiguate_term =
- disambiguate_term None text prefix_len lexicon_status_ref [] in
- let metasenv,t = disambiguate_term metasenv t in
- { estatus with NEstatus.lstatus = !lexicon_status_ref },
- metasenv, GrafiteAst.UnificationHint (loc,t,n)
+ !lexicon_status_ref, metasenv, GrafiteAst.Inverter (loc,n,indty,params)