Agda-2.3.0: A dependently typed functional programming language and proof assistant

Agda.TypeChecking.Polarity

Synopsis

Documentation

sizePolarity :: QName -> TCM [Polarity]

Hack for polarity of size indices.