Agda.Syntax.Common
data Delayed
data Induction
data Hiding
data WithHiding a
class LensHiding a
data Big
data Relevance
class LensRelevance a
data ArgInfo c
data Arg c e
class Underscore a
data Dom c e
data Named name a
type Named_
type NamedArg c a
data Ranged a
type RawName
type RString
data ConPOrigin
data IsInfix
data Access
data IsAbstract
data IsInstance
type Nat
type Arity
data NameId
data MetaId
data Constr a
data InteractionId
data TerminationCheck m