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