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