tamarin-prover-utils-0.8.1.0: Utility library for the tamarin prover.
Debug.Trace.Ignore
Description
Module that can be imported to ignore calls to trace.
trace
Synopsis
trace :: a -> b -> bSource
trace a b returns the second argument.
trace a b