Agda.TypeChecking.Eliminators

data ElimView

elimView

unElimView

unElim