Agda.Syntax.Abstract
type Args
data Expr
type Assign
type Assigns
type RecordAssign
type RecordAssigns
data Axiom
type Ren a
data Declaration
class GetDefInfo a
type ImportDirective
type Renaming
type ImportedName
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