SimplMonad

data SimplM result

initSmpl

traceSmpl

getSimplRules

getFamEnvs

class MonadUnique m

newId

data SimplCount

tick

freeTick

checkedTick

getSimplCount

zeroSimplCount

pprSimplCount

plusSimplCount

isZeroSimplCount