Documentation

spec ∷ (EraPlutusTxInfo 'PlutusV1 era, EraPlutusTxInfo 'PlutusV2 era, EraPlutusTxInfo 'PlutusV3 era, EraPlutusTxInfo 'PlutusV4 era, Inject (DijkstraContextError era) (ContextError era), Inject (BabbageContextError era) (ContextError era), DijkstraEraTxBody era, EraTx era, Arbitrary (Value era), AlonzoEraTxWits era) ⇒ Spec Source #