Agda.Syntax.Common
data Delayed
data Induction
data Hiding
class LensHiding a
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 IsInfix
data Access
data IsAbstract
type Nat
type Arity
data NameId
data Constr a
data InteractionId