Agda.TypeChecking.CheckInternal

checkType

checkInternal