Agda.TypeChecking.CheckInternal

checkType

checkInternal

checkInternal'

data Action

defaultAction

eraseUnusedAction

infer

inferSort