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.8.0.1: Utility library for the tamarin prover.