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