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