TmOracle
data PmExpr
data PmLit
type SimpleEq
type ComplexEq
type PmVarEnv
falsePmExpr
eqPmLit
filterComplex
isNotPmExprOther
runPmPprM
lhsExprToPmExpr
hsExprToPmExpr
pprPmExprWithParens
tmOracle
type TmState
initialTmState
solveOneEq
extendSubst
canDiverge
toComplex
exprDeepLookup
pmLitType
flattenPmVarEnv