Documentation

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