Vectorise.Env

data Scope a b

Local Environments

data LocalEnv

emptyLocalEnv

Global Environments

data GlobalEnv

initGlobalEnv

extendImportedVarsEnv

setFamEnv

extendFamEnv

extendTyConsEnv

extendDataConsEnv

extendPAFunsEnv

setPRFunsEnv

setBoxedTyConsEnv

modVectInfo