-- | Specs necessary to generate state for the NEWEPOCH rule
module Test.Cardano.Ledger.Constrained.Conway.NewEpoch where

import Cardano.Ledger.Conway (ConwayEra)
import Cardano.Ledger.Shelley.API.Types
import Constrained

newEpochStateSpec :: Specification fn (NewEpochState ConwayEra)
newEpochStateSpec :: forall (fn :: [*] -> * -> *).
Specification fn (NewEpochState ConwayEra)
newEpochStateSpec = forall (fn :: [*] -> * -> *) a. Specification fn a
TrueSpec