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

MAlonzo.Code.Evaluator.Program

Documentation

d_BudgetMode_36 ∷ p → () Source #

pattern C_Counting_42 ∷ a → BudgetMode a Source #

pattern C_Tallying_44 ∷ a → BudgetMode a Source #

pattern C_U_48EvalMode Source #

pattern C_TL_50EvalMode Source #