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
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