UseDeclMap
typesystem
unapply
CFunction
CObj
updateEnumEnv
Env
updateLabelEnv
Env
updateStructEnv
Env
updateVarEnv
Env