Moduleplutus-core-1.70.0.0
PlutusCore.DataFilePaths
Synopsis
- value benchingResultsFile
- value builtinCostModelFileA
- value builtinCostModelFileB
- value builtinCostModelFileC
- value builtinCostModelFileD
- value builtinCostModelFileE
- value cekMachineCostsFileA
- value cekMachineCostsFileB
- value cekMachineCostsFileC
- value cekMachineCostsFileD
- value cekMachineCostsFileE
- value costModelDataDir
- value latestBuiltinCostModelFile
- value latestMachineCostsFile
- value rModelFile
- Packageplutus-core-1.70.0.0
- Exports15
- LicenceApache-2.0