Language.Fixpoint.Types.Environments
data SEnv a
data SESearch a
emptySEnv
toListSEnv
fromListSEnv
mapSEnvWithKey
mapSEnv
insertSEnv
deleteSEnv
memberSEnv
lookupSEnv
unionSEnv
intersectWithSEnv
differenceSEnv
filterSEnv
lookupSEnvWithDistance
envCs
data IBindEnv
type BindId
type BindMap a
emptyIBindEnv
insertsIBindEnv
deleteIBindEnv
elemsIBindEnv
type BindEnv
beBinds
insertBindEnv
emptyBindEnv
lookupBindEnv
mapBindEnv
adjustBindEnv
bindEnvFromList
bindEnvToList
unionIBindEnv
diffIBindEnv