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