Agda.TypeChecking.ReconstructParameters

reconstructParametersInType

reconstructParametersInTel

reconstructParametersInEqView

reconstructParameters

dropParameters