TmOracle

data PmExpr

data PmLit

type SimpleEq

type ComplexEq

type PmVarEnv

falsePmExpr

canDiverge

eqPmLit

filterComplex

isNotPmExprOther

runPmPprM

pprPmExprWithParens

lhsExprToPmExpr

hsExprToPmExpr

tmOracle

type TmState

initialTmState

exprDeepLookup

pmLitType

flattenPmVarEnv