Vectorise.Env
data Scope a b
data LocalEnv
emptyLocalEnv
data GlobalEnv
initGlobalEnv
extendImportedVarsEnv
setFamEnv
extendFamEnv
extendTyConsEnv
extendDataConsEnv
extendPAFunsEnv
setPRFunsEnv
setBoxedTyConsEnv
modVectInfo