Agda.Auto.Syntax
data RefInfo o
type MyPB o
type MyMB a o
type Nat
data FMode
data MId
data Abs a
data ConstDef o
data DeclCont o
type Clause o
data Pat o
type ConstRef o
data Elr o
data Sort
data Exp o
type MExp o
data ArgList o
type MArgList o
data HNExp o
data HNArgList o
type CExp o
data CArgList o
data Clos a o
data CAction o
type Ctx o
type EE
data Elrs o