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

dontCare

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