Agda.Syntax.Concrete.Definitions
data NiceDeclaration
type NiceConstructor
type NiceTypeSignature
data Clause
data DeclarationException
data DeclarationWarning
data Nice a
runNice
niceDeclarations
notSoNiceDeclarations
niceHasAbstract
type Measure