Vectorise.Env

data Scope a b

Local Environments

data LocalEnv

emptyLocalEnv

Global Environments

data GlobalEnv

initGlobalEnv

extendImportedVarsEnv

extendScalars

setFamInstEnv

extendTyConsEnv

extendDataConsEnv

extendPAFunsEnv

setPRFunsEnv

setBoxedTyConsEnv

updVectInfo