module Ouroboros.Consensus.HardFork.Combinator.Abstract (
    module X
    -- * Re-exports
  , IsNonEmpty(..)
  , ProofNonEmpty(..)
  ) where

import           Ouroboros.Consensus.Util.SOP

import           Ouroboros.Consensus.HardFork.Combinator.Abstract.CanHardFork as X
import           Ouroboros.Consensus.HardFork.Combinator.Abstract.NoHardForks as X
import           Ouroboros.Consensus.HardFork.Combinator.Abstract.SingleEraBlock as X