tamarin-prover-utils-0.8.5.0: Utility library for the tamarin prover.

MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellSafe-Inferred

Debug.Trace.Ignore

Description

Module that can be imported to ignore calls to trace.

Synopsis

Documentation

trace :: a -> b -> bSource

trace a b returns the second argument.