module Shelley.Spec.Ledger.SoftForks ( validMetadata, ) where import Shelley.Spec.Ledger.PParams (PParams, PParams' (..), ProtVer (..)) validMetadata :: PParams era -> Bool validMetadata :: PParams era -> Bool validMetadata PParams era pp = PParams era -> HKD Identity ProtVer forall (f :: * -> *) era. PParams' f era -> HKD f ProtVer _protocolVersion PParams era pp ProtVer -> ProtVer -> Bool forall a. Ord a => a -> a -> Bool > Natural -> Natural -> ProtVer ProtVer Natural 2 Natural 0