Agda.Auto.Syntax
type
UId
o
data
HintMode
data
EqReasoningConsts
o
data
EqReasoningState
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
ICExp
o
type
CExp
o
data
ICArgList
o
data
Clos
a o
data
TrBr
a o
data
CAction
o
type
Ctx
o
type
EE
detecteliminand
detectsemiflex
categorizedecl
metaliseokh
expandExp
addtrailingargs
closify
sub
subi
weak
weaki
weakarglist
weakelr
doclos