public static void Encode(XdrDataOutputStream stream, LedgerEntryExt encodedLedgerEntryExt) { stream.WriteInt((int)encodedLedgerEntryExt.Discriminant); switch (encodedLedgerEntryExt.Discriminant) { case 0: break; case 1: LedgerEntryExtensionV1.Encode(stream, encodedLedgerEntryExt.V1); break; } }