1 __interface SpecEnv 1 0 where
2 __export SpecEnv SpecEnv emptySpecEnv specEnvFreeVars isEmptySpecEnv ;
4 1 emptySpecEnv :: __forall [a] => SpecEnv a ;
5 1 isEmptySpecEnv :: __forall [a] => SpecEnv a -> PrelBase.Bool ;
6 1 specEnvFreeVars :: __forall [a] => (a -> VarSet.VarSet) -> SpecEnv a -> VarSet.VarSet ;