blob: f08f94557a4e823b4fe3bad9ff830d89c61806ed (
plain)
1
2
3
4
5
6
7
|
__interface SpecEnv 1 0 where
__export SpecEnv SpecEnv emptySpecEnv specEnvFreeVars isEmptySpecEnv ;
1 data SpecEnv a;
1 emptySpecEnv :: __forall [a] => SpecEnv a ;
1 isEmptySpecEnv :: __forall [a] => SpecEnv a -> PrelBase.Bool ;
1 specEnvFreeVars :: __forall [a] => (a -> VarSet.IdOrTyVarSet) -> SpecEnv a -> VarSet.IdOrTyVarSet ;
|