Maintainer | Benedikt Schmidt <beschmi@gmail.com> |
---|---|
Safe Haskell | Safe-Infered |
Debug.Trace.Ignore
Description
Module that can be imported to ignore calls to trace
.
- trace :: a -> b -> b
tamarin-prover-utils-0.4.0.0: Utility library for the tamarin prover.