Cryptol.Utils.Debug

trace

ppTrace