SSTG-0.1.0.5: STG Symbolic Execution

Safe HaskellNone
LanguageHaskell2010

SSTG.Utils.Printing

Synopsis

Documentation

pprStateStr :: State -> String Source #

Make String from State

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

pprBindingStr :: Binding -> String Source #