Agda.Syntax.Abstract
type Color
type Arg a
type Dom a
type NamedArg a
type ArgInfo
type Args
data Expr
type Assign
type Assigns
data Axiom
type Ren a
data Declaration
class GetDefInfo a
data ModuleApplication
data Pragma
data LetBinding
type TypeSignature
type Constructor
type Field
data LamBinding
data TypedBindings
data TypedBinding
type Telescope
data Clause' lhs
type Clause
type SpineClause
data RHS
data SpineLHS
data LHS
data LHSCore' e
type LHSCore
class LHSToSpine a b
data Pattern' e
type Pattern
type Patterns
class IsProjP a
class AllNames a
class AnyAbstract a
type PatternSynDefn
type PatternSynDefns
class SubstExpr a