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