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 MId

data Abs a

data ConstDef o

data DeclCont o

type Clause o

data Pat o

type ConstRef o

data Elr o

getVar

getConst

data Sort

data Exp o

dontCare

type MExp o

data ArgList o

type MArgList o

data WithSeenUIds a o

type HNExp o

data HNExp' o

data HNArgList o

data ICArgList o

type ICExp o

data Clos a o

type CExp o

data TrBr a o

data CAction o

type Ctx o

type EE

detecteliminand

detectsemiflex

categorizedecl

class MetaliseOKH t

metaliseokh

class ExpandMetas t

addtrailingargs

closify

sub

subi

weak

class Weakening t

doclos

freeVars

class FreeVars t

rename

class Renaming t