-- | 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.API

newEpochStateSpec :: Specification (NewEpochState ConwayEra)
newEpochStateSpec :: Specification (NewEpochState ConwayEra)
newEpochStateSpec = forall a. Specification a
TrueSpec