plutus-ledger-api-1.40.0.0: Interface to the Plutus ledger for the Cardano ledger.