Agda.Syntax.Common
data Induction
data Hiding
data Relevance
ignoreForced
irrelevant
data Arg e
hide
defaultArg
isHiddenArg
makeIrrelevant
makeRelevant
withArgsFrom
data Named name a
unnamed
named
type NamedArg a
data IsInfix
data Access
data IsAbstract
type Nat
type Arity
data NameId
data Constr a