Agda.TypeChecking.Polarity

getArity

computePolarity

sizePolarity

checkSizeIndex

(/\)

neg

composePol

class HasPolarity a

polarity