1 data SpecEnv a;
1 emptySpecEnv :: __forall [a] => SpecEnv a ;
1 isEmptySpecEnv :: __forall [a] => SpecEnv a -> PrelBase.Bool ;
1 data SpecEnv a;
1 emptySpecEnv :: __forall [a] => SpecEnv a ;
1 isEmptySpecEnv :: __forall [a] => SpecEnv a -> PrelBase.Bool ;