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