- method disambiguateTermAst
- ~context ~metasenv ?(env = DisambiguateTypes.Environment.empty) termAst
+ val mutable _env = DisambiguateTypes.Environment.empty
+ method env = _env
+ method setEnv e = _env <- e
+
+ method disambiguateTermAst ?(context = []) ?(metasenv = []) ?(env = _env)
+ termAst