Agda.TypeChecking.Polarity
(/\)
neg
composePol
polFromOcc
nextPolarity
purgeNonvariant
computePolarity
enablePhantomTypes
dependentPolarity
relevantInIgnoringNonvariant
Nonvariant
UnusedArg
mkUnused
nonvariantToUnusedArg
nonvariantToUnusedArgInDef
nonvariantToUnusedArgInClause
sizePolarity
checkSizeIndex
class HasPolarity a
polarity