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

FFI.SimplifierTrace

Documentation

type TraceElem a = (SimplifierStage, (Hints, (a, a))) Source #

type Trace a = [TraceElem a] Source #

mkFfiSimplifierTrace ∷ SimplifierTrace Name DefaultUni DefaultFun a → Trace UTerm Source #