Agda.Syntax.Internal
data Term
data Type
data Sort
data Blocked t
type Args
data Tele a
type Telescope
data Abs a
data Clauses
data Clause
data ClauseBody
data Pattern
data MetaId

Views

data FunView

Smart constructors