tamarin-prover-utils-0.8.5.1: 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