Agda.Syntax.Concrete
data Expr
data AppView
data LamBinding
data TypedBindings
data TypedBinding
data BoundName
type Telescope
data Declaration
type TypeSignature
type Constructor
type Field
data ImportDirective
data UsingOrHiding
data ImportedName
data Renaming
data AsName
data OpenShortHand
data LHS
data Pattern
data RHS
data WhereClause
data Pragma
type Module