Agda.Syntax.Abstract

data Expr

data Declaration

class GetDefInfo a

data ModuleApplication

data Pragma

data LetBinding

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

class AnyAbstract a