Agda.Syntax.Common
data Induction
data Hiding
data Arg e
data Named name a
type NamedArg a
data IsInfix
data Access
data IsAbstract
type Nat
type Arity
data NameId
data Constr a