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

MAlonzo.Code.Cost.Raw

Documentation

type T_HCekMachineCosts_4 = CpuAndMemoryModel -> () #

d_cpuModel_198 :: T_CpuAndMemoryModel_192 -> T_RawModel_144 #

d_memoryModel_200 :: T_CpuAndMemoryModel_192 -> T_RawModel_144 #

d_BuiltinCostMap_204 :: () #

d_RawCostModel_206 :: () #