NameEnv
type NameEnv a
mkNameEnv
emptyNameEnv
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
depAnal