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
data Sort
data Exp o
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
class MetaliseOKH t
class ExpandMetas t
class Weakening t
class FreeVars t
class Renaming t