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

FFI.SimplifierTrace

Documentation

mkFfiSimplifierTrace ∷ SimplifierTrace Name DefaultUni DefaultFun a → [(SimplifierStage, (UTerm, UTerm))] Source #