Agda.Syntax.Reflected

type Args

data Elim' a

type Elim

type Elims

argsToElims

data Abs a

data Term

type Type

data Sort

data Pattern

data Clause

data Definition