Agda.TypeChecking.Polarity
(/\)
neg
composePol
polFromOcc
nextPolarity
purgeNonvariant
polarityFromPositivity
computePolarity
enablePhantomTypes
dependentPolarity
relevantInIgnoringNonvariant
sizePolarity
checkSizeIndex
class HasPolarity a
polarity