_interface_ TcEnv 1
_exports_
TcEnv TcEnv initEnv;
_declarations_
1 data TcEnv a;
1 initEnv _:_ _forall_ [a] => ArrBase.MutableVar a (TcType.TcTyVarSet a) -> TcEnv.TcEnv a ;;