CSPM.TypeChecker

typeCheck

typeCheckExpect

typeOfExp

typeOfName

data ErrorOptions

modifyErrorOptions

initTypeChecker

type TypeCheckMonad

data TypeInferenceState

runTypeChecker

runFromStateToState