plutus-metatheory-1.60.0.0: Command line tool for running plutus core programs
Safe HaskellSafe-Inferred
LanguageHaskell2010

FFI.SimplifierTrace

Documentation

type TraceElem a = (DefaultFun a -> Trace UTerm #