Turn a size expression into a term.
- PackageAgda-2.8.0.2
- Exports1
- LanguageHaskell2010
- LicenceMIT
- SourcePretty.hs
Orphan instances
3 instancesPrettyTCM HypSizeConstraintPrettyTCM SizeConstraintAssumes we are in the right context.
PrettyTCM SizeMeta
GHC 9.14.1 · lts/ghc-9.14.x · 6d5fdfd · 2026-10-12
Turn a size expression into a term.
PrettyTCM HypSizeConstraintPrettyTCM SizeConstraintAssumes we are in the right context.
PrettyTCM SizeMeta