Env.Class
type ClassEnv
initClassEnv
type ClassInfo
bindClassInfo
mergeClassInfo
lookupClassInfo
superClasses
allSuperClasses
classMethods
hasDefaultImpl