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