Msg
type
Ident
data
Operator
data
Msg
type
Theory
idents
isConstant
isAtom
isVariable
vars
isCat
foldMsg
addSub
type
Substitution
eqMod
eqModBound
(===)
catty
deCat
stdTheo
synthesizable
analysis
indy
normalizeXor
ppId
ppIdList
ppMsg
ppMsgList
ppXList
match0
isAtype
isntFunction