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