Agda.TypeChecking.ProjectionLike

data ProjectionView

unProjView

projView

reduceProjectionLike

elimView

eligibleForProjectionLike

makeProjection