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