{-# LANGUAGE DataKinds #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE GADTs #-}

module Test.Cardano.Ledger.Constrained.Conway.Ledger where

import Constrained.API

import Cardano.Ledger.Conway (ConwayEra)
import Cardano.Ledger.Conway.Core
import Test.Cardano.Ledger.Constrained.Conway.Utxo

ledgerTxSpec ::
  UtxoExecContext ConwayEra ->
  Specification (Tx ConwayEra)
ledgerTxSpec :: UtxoExecContext ConwayEra -> Specification (Tx ConwayEra)
ledgerTxSpec = forall era.
HasSpec (AlonzoTx era) =>
UtxoExecContext era -> Specification (AlonzoTx era)
utxoTxSpec