This is a non-spec STS used to generate a sequence of certificates with witnesses.
Instances10STS, Embed, HasTrace, BaseM, Environment, Event, …
(Era era, Embed (EraRuleDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert"DELPL"
era) (CERTS era), Environment (EraRule"DELPL"
era) ~ DelplEnv era, State (EraRule"DELPL"
era) ~ CertState era, Signal (EraRule"DELPL"
era) ~ TxCert era) => STS (CERTS era)(Era era, STS (DELPL era), PredicateFailure (EraRuleDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert"DELPL"
era) ~ ShelleyDelplPredFailure era, Event (EraRule"DELPL"
era) ~ ShelleyDelplEvent era) => Embed (DELPL era) (CERTS era)(EraGen era, Embed (EraRuleDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert"DELPL"
era) (CERTS era), Environment (EraRule"DELPL"
era) ~ DelplEnv era, State (EraRule"DELPL"
era) ~ CertState era, Signal (EraRule"DELPL"
era) ~ TxCert era, AtMostEra"Babbage"
era, EraCertState era, Crypto c) => HasTrace (CERTS era) (GenEnv c era)type BaseM (CERTS era) = ShelleyBaseDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.TxCerttype Environment (CERTS era) = (SlotNo, TxIx, PParams era, ChainAccountState)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.TxCerttype Event (CERTS era) = CertsEvent eraDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.TxCerttype PredicateFailure (CERTS era) = CertsPredicateFailure eraDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.TxCerttype Signal (CERTS era) = Maybe (TxCert era, CertCred era)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.TxCerttype State (CERTS era) = (CertState era, CertIx)Defined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.TxCerttype BaseEnv (CERTS era) = GlobalsDefined in cardano-ledger-shelley-test-1.9.0.0 · Test.Cardano.Ledger.Shelley.Generator.Trace.TxCert