Hpp.Env
emptyEnv
insertPair
deleteKey
lookupKey