NameEnv
type NameEnv a
mkNameEnv
emptyNameEnv
isEmptyNameEnv
unitNameEnv
nameEnvElts
nameEnvUniqueElts
extendNameEnv_C
extendNameEnv_Acc
extendNameEnv
extendNameEnvList
extendNameEnvList_C
foldNameEnv
filterNameEnv
anyNameEnv
plusNameEnv
plusNameEnv_C
alterNameEnv
lookupNameEnv
lookupNameEnv_NF
delFromNameEnv
delListFromNameEnv
elemNameEnv
mapNameEnv
disjointNameEnv
type DNameEnv a
emptyDNameEnv
lookupDNameEnv
mapDNameEnv
alterDNameEnv
depAnal