vampire-0.1.3.0: Analyze and visualize expression trees.

Safe HaskellNone

Debug.Vampire.Trace

Documentation

vNewExprStruct :: String -> IORef ExprStruct'Source

vLog :: Show a => IORef ExprStruct' -> a -> IORef ExprStruct' -> aSource