cryptol-2.2.3: Cryptol: The Language of Cryptography
Cryptol.Utils.Debug
Description
trace :: String -> b -> b Source
ppTrace :: Doc -> b -> b Source