PlutusLedgerApi.MachineParameters
machineParametersFor ∷ PlutusLedgerLanguage → MajorProtocolVersion → Version → DefaultMachineParameters Source #