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;
                }
            }