Agda.TypeChecking.Eliminators

data ElimView

elimView