Agda.Syntax.Common
data Delayed
data Induction
data Hiding
data Relevance
moreRelevant
data Dom e
argFromDom
domFromArg
mapDomHiding
mapDomRelevance
data Arg e
mapArgHiding
mapArgRelevance
makeInstance
hide
defaultArg
isHiddenArg
withArgsFrom
data Named name a
unnamed
named
type NamedArg a
namedArg
defaultNamedArg
updateNamedArg
data IsInfix
data Access
data IsAbstract
type Nat
type Arity
data NameId
data Constr a