encode method Null safety
- XdrDataOutputStream stream,
- XdrConfigSettingContractExecutionLanesV0 encoded
Implementation
static void encode(XdrDataOutputStream stream,
XdrConfigSettingContractExecutionLanesV0 encoded) {
XdrUint32.encode(stream, encoded.ledgerMaxTxCount);
}