Agda.TypeChecking.CheckInternal
checkType
checkInternal
checkInternal'
defaultAction
data Action
infer