Agda.Syntax.Abstract
data
Expr
data
Declaration
data
Pragma
data
LetBinding
data
Definition
type
TypeSignature
type
Constructor
data
LamBinding
data
TypedBindings
data
TypedBinding
type
Telescope
data
Clause
data
RHS
data
LHS
data
Pattern'
e
type
Pattern
allNames
axiomName