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