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