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

MAlonzo.Code.Algorithmic.Evaluation

Documentation

newtype T_Gas_4 Source #

Constructors

C_gas_6 Integer 

d_Finished_12 ∷ p → p → () Source #

d_Steps_30 ∷ p → p → () Source #