SSTG-0.1.0.5: STG Symbolic Execution
SSTG.Utils.Printing
Synopsis
pprStateStr :: State -> String Source #
Make String from State
pprLivesDeadsStr :: ([LiveState], [DeadState]) -> String Source #
pprBindingStr :: Binding -> String Source #