Agda.Syntax.Common
data Induction
data Hiding
data Relevance
moreRelevant
data Arg e
makeInstance
hide
defaultArg
isHiddenArg
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