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

Copyright(c) 2011 Benedikt Schmidt
LicenseGPL v3 (see LICENSE)
MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellSafe
LanguageHaskell98

Debug.Trace.Ignore

Description

Module that can be imported to ignore calls to trace.

Synopsis

Documentation

trace :: a -> b -> b #

trace a b returns the second argument.