SSTG.Utils.Printing

Pretty Printing

Documentation

pprStateStr :: State -> String

Print State.

pprLivesDeadsStr :: ([LiveState], [DeadState]) -> String

Print LiveState and DeadState that yield from execution snapshots.

pprBindsStr :: Binds -> String

Print Binds.