Module Encode_app_records

val encode_TrdCollGrp : Full_app_records.fix_rg_inner_trdcollgrp -> (string * Imandra_prelude.string option) list
val encode_NstdPtys3SubGrp : Full_app_records.fix_rg_inner_nstdptys3subgrp -> (string * Imandra_prelude.string option) list
val encode_CpctyConfGrp : Full_app_records.fix_rg_inner_cpctyconfgrp -> (string * Imandra_prelude.string option) list
val encode_CompIDStatGrp : Full_app_records.fix_rg_inner_compidstatgrp -> (string * Imandra_prelude.string option) list
val encode_CommissionData : Full_app_records.fix_commissiondata -> (string * string option) list
val encode_MiscFeesGrp : Full_app_records.fix_rg_inner_miscfeesgrp -> (string * string option) list
val encode_ExecAllocGrp : Full_app_records.fix_rg_inner_execallocgrp -> (string * Imandra_prelude.string option) list
val encode_FinancingDetails : Full_app_records.fix_financingdetails -> (string * Imandra_prelude.string option) list
val encode_PositionAmountData : Full_app_records.fix_rg_inner_positionamountdata -> (string * string option) list
val encode_TrdRegTimestamps : Full_app_records.fix_rg_inner_trdregtimestamps -> (string * Imandra_prelude.string option) list
val encode_UndSecAltIDGrp : Full_app_records.fix_rg_inner_undsecaltidgrp -> (string * Imandra_prelude.string option) list
val encode_IOIQualGrp : Full_app_records.fix_rg_inner_ioiqualgrp -> (string * string option) list
val encode_ContAmtGrp : Full_app_records.fix_rg_inner_contamtgrp -> (string * string option) list
val encode_LegBenchmarkCurveData : Full_app_records.fix_legbenchmarkcurvedata -> (string * Imandra_prelude.String.t option) list
val encode_LegSecAltIDGrp : Full_app_records.fix_rg_inner_legsecaltidgrp -> (string * Imandra_prelude.string option) list
val encode_PtysSubGrp : Full_app_records.fix_rg_inner_ptyssubgrp -> (string * Imandra_prelude.string option) list
val encode_SecAltIDGrp : Full_app_records.fix_rg_inner_secaltidgrp -> (string * Imandra_prelude.string option) list
val encode_SpreadOrBenchmarkCurveData : Full_app_records.fix_spreadorbenchmarkcurvedata -> (string * Imandra_prelude.string option) list
val encode_RoutingGrp : Full_app_records.fix_rg_inner_routinggrp -> (string * Imandra_prelude.string option) list
val encode_ExecCollGrp : Full_app_records.fix_rg_inner_execcollgrp -> (string * Imandra_prelude.string option) list
val encode_YieldData : Full_app_records.fix_yielddata -> (string * Imandra_prelude.string option) list
val encode_DiscretionInstructions : Full_app_records.fix_discretioninstructions -> (string * string option) list
val encode_PegInstructions : Full_app_records.fix_peginstructions -> (string * string option) list
val encode_EvntGrp : Full_app_records.fix_rg_inner_evntgrp -> (string * Imandra_prelude.string option) list
val encode_CollInqQualGrp : Full_app_records.fix_rg_inner_collinqqualgrp -> (string * string option) list
val encode_AllocAckGrp : Full_app_records.fix_rg_inner_allocackgrp -> (string * Imandra_prelude.string option) list
val encode_LogonMsgTypes : Full_app_records.fix_rg_inner_logonmsgtypes -> (string * Imandra_prelude.string option) list
val encode_TrdgSesGrp : Full_app_records.fix_rg_inner_trdgsesgrp -> (string * Imandra_prelude.string option) list
val encode_ContraGrp : Full_app_records.fix_rg_inner_contragrp -> (string * Imandra_prelude.string option) list
val encode_AttrbGrp : Full_app_records.fix_rg_inner_attrbgrp -> (string * Imandra_prelude.string option) list
val encode_Hop : Full_app_records.fix_rg_inner_hop -> (string * Imandra_prelude.string option) list
val encode_BidDescReqGrp : Full_app_records.fix_rg_inner_biddescreqgrp -> (string * Imandra_prelude.String.t option) list
val encode_LegStipulations : Full_app_records.fix_rg_inner_legstipulations -> (string * Imandra_prelude.string option) list
val encode_OrdListStatGrp : Full_app_records.fix_rg_inner_ordliststatgrp -> (string * Imandra_prelude.string option) list
val encode_MDRjctGrp : Full_app_records.fix_rg_inner_mdrjctgrp -> (string * Imandra_prelude.string option) list
val encode_SecTypesGrp : Full_app_records.fix_rg_inner_sectypesgrp -> (string * Imandra_prelude.string option) list
val encode_MDFullGrp : Full_app_records.fix_rg_inner_mdfullgrp -> (string * Imandra_prelude.string option) list
val encode_NstdPtysSubGrp : Full_app_records.fix_rg_inner_nstdptyssubgrp -> (string * Imandra_prelude.String.t option) list
val encode_Stipulations : Full_app_records.fix_rg_inner_stipulations -> (string * Imandra_prelude.string option) list
val encode_AffectedOrdGrp : Full_app_records.fix_rg_inner_affectedordgrp -> (string * Imandra_prelude.string option) list
val encode_TrdCapDtGrp : Full_app_records.fix_rg_inner_trdcapdtgrp -> (string * Imandra_prelude.string option) list
val encode_CompIDReqGrp : Full_app_records.fix_rg_inner_compidreqgrp -> (string * Imandra_prelude.string option) list
val encode_LinesOfTextGrp : Full_app_records.fix_rg_inner_linesoftextgrp -> (string * Imandra_prelude.String.t option) list
val encode_ClrInstGrp : Full_app_records.fix_rg_inner_clrinstgrp -> (string * string option) list
val encode_RgstDistInstGrp : Full_app_records.fix_rg_inner_rgstdistinstgrp -> (string * Imandra_prelude.string option) list
val encode_BidCompReqGrp : Full_app_records.fix_rg_inner_bidcompreqgrp -> (string * Imandra_prelude.string option) list
val encode_QuotQualGrp : Full_app_records.fix_rg_inner_quotqualgrp -> (string * Imandra_prelude.string option) list
val encode_SettlPtysSubGrp : Full_app_records.fix_rg_inner_settlptyssubgrp -> (string * Imandra_prelude.String.t option) list
val encode_NstdPtys2SubGrp : Full_app_records.fix_rg_inner_nstdptys2subgrp -> (string * Imandra_prelude.string option) list
val encode_ExecsGrp : Full_app_records.fix_rg_inner_execsgrp -> (string * Imandra_prelude.string option) list
val encode_OrderQtyData : Full_app_records.fix_orderqtydata -> (string * string option) list
val encode_MDReqGrp : Full_app_records.fix_rg_inner_mdreqgrp -> (string * string option) list
val encode_UnderlyingStipulations : Full_app_records.fix_rg_inner_underlyingstipulations -> (string * Imandra_prelude.string option) list
val encode_NestedParties2 : Full_app_records.fix_rg_inner_nestedparties2 -> (string * Imandra_prelude.String.t option) list
val encode_SettlParties : Full_app_records.fix_rg_inner_settlparties -> (string * Imandra_prelude.string option) list
val encode_NestedParties : Full_app_records.fix_rg_inner_nestedparties -> (string * Imandra_prelude.string option) list
val encode_InstrumentExtension : Full_app_records.fix_instrumentextension -> (string * Imandra_prelude.String.t option) list
val encode_Instrument : Full_app_records.fix_instrument -> (string * Imandra_prelude.string option) list
val encode_Parties : Full_app_records.fix_rg_inner_parties -> (string * Imandra_prelude.string option) list
val encode_InstrumentLeg : Full_app_records.fix_instrumentleg -> (string * Imandra_prelude.string option) list
val encode_UnderlyingInstrument : Full_app_records.fix_underlyinginstrument -> (string * Imandra_prelude.String.t option) list
val encode_BidCompRspGrp : Full_app_records.fix_rg_inner_bidcomprspgrp -> (string * Imandra_prelude.string option) list
val encode_NestedParties3 : Full_app_records.fix_rg_inner_nestedparties3 -> (string * Imandra_prelude.String.t option) list
val encode_PreAllocMlegGrp : Full_app_records.fix_rg_inner_preallocmleggrp -> (string * Imandra_prelude.string option) list
val encode_UndInstrmtStrkPxGrp : Full_app_records.fix_rg_inner_undinstrmtstrkpxgrp -> (string * Imandra_prelude.String.t option) list
val encode_PosUndInstrmtGrp : Full_app_records.fix_rg_inner_posundinstrmtgrp -> (string * Imandra_prelude.String.t option) list
val encode_UndInstrmtGrp : Full_app_records.fix_rg_inner_undinstrmtgrp -> (string * Imandra_prelude.String.t option) list
val encode_UndInstrmtCollGrp : Full_app_records.fix_rg_inner_undinstrmtcollgrp -> (string * Imandra_prelude.String.t option) list
val encode_InstrmtLegGrp : Full_app_records.fix_rg_inner_instrmtleggrp -> (string * Imandra_prelude.string option) list
val encode_InstrmtLegIOIGrp : Full_app_records.fix_rg_inner_instrmtlegioigrp -> (string * Imandra_prelude.string option) list
val encode_InstrmtLegSecListGrp : Full_app_records.fix_rg_inner_instrmtlegseclistgrp -> (string * Imandra_prelude.string option) list
val encode_SideCrossOrdCxlGrp : Full_app_records.fix_rg_inner_sidecrossordcxlgrp -> (string * Imandra_prelude.string option) list
val encode_InstrmtStrkPxGrp : Full_app_records.fix_rg_inner_instrmtstrkpxgrp -> (string * Imandra_prelude.string option) list
val encode_InstrmtGrp : Full_app_records.fix_rg_inner_instrmtgrp -> (string * Imandra_prelude.string option) list
val encode_InstrmtLegExecGrp : Full_app_records.fix_rg_inner_instrmtlegexecgrp -> (string * Imandra_prelude.string option) list
val encode_PositionQty : Full_app_records.fix_rg_inner_positionqty -> (string * Imandra_prelude.String.t option) list
val encode_TrdInstrmtLegGrp : Full_app_records.fix_rg_inner_trdinstrmtleggrp -> (string * Imandra_prelude.string option) list
val encode_LegQuotGrp : Full_app_records.fix_rg_inner_legquotgrp -> (string * Imandra_prelude.string option) list
val encode_LegQuotStatGrp : Full_app_records.fix_rg_inner_legquotstatgrp -> (string * Imandra_prelude.string option) list
val encode_RgstDtlsGrp : Full_app_records.fix_rg_inner_rgstdtlsgrp -> (string * Imandra_prelude.string option) list
val encode_QuotReqLegsGrp : Full_app_records.fix_rg_inner_quotreqlegsgrp -> (string * Imandra_prelude.string option) list
val encode_PreAllocGrp : Full_app_records.fix_rg_inner_preallocgrp -> (string * Imandra_prelude.string option) list
val encode_DlvyInstGrp : Full_app_records.fix_rg_inner_dlvyinstgrp -> (string * Imandra_prelude.String.t option) list
val encode_LegPreAllocGrp : Full_app_records.fix_rg_inner_legpreallocgrp -> (string * Imandra_prelude.string option) list
val encode_TrdAllocGrp : Full_app_records.fix_rg_inner_trdallocgrp -> (string * Imandra_prelude.string option) list
val encode_OrdAllocGrp : Full_app_records.fix_rg_inner_ordallocgrp -> (string * Imandra_prelude.string option) list
val encode_TrdCapRptSideGrp : Full_app_records.fix_rg_inner_trdcaprptsidegrp -> (string * Imandra_prelude.string option) list
val encode_LegOrdGrp : Full_app_records.fix_rg_inner_legordgrp -> (string * Imandra_prelude.string option) list
val encode_SettlInstructionsData : Full_app_records.fix_settlinstructionsdata -> (string * Imandra_prelude.string option) list
val encode_SideCrossOrdModGrp : Full_app_records.fix_rg_inner_sidecrossordmodgrp -> (string * Imandra_prelude.string option) list
val encode_QuotEntryGrp : Full_app_records.fix_rg_inner_quotentrygrp -> (string * Imandra_prelude.string option) list
val encode_QuotEntryAckGrp : Full_app_records.fix_rg_inner_quotentryackgrp -> (string * Imandra_prelude.string option) list
val encode_RelSymDerivSecGrp : Full_app_records.fix_rg_inner_relsymderivsecgrp -> (string * Imandra_prelude.String.t option) list
val encode_RFQReqGrp : Full_app_records.fix_rg_inner_rfqreqgrp -> (string * Imandra_prelude.string option) list
val encode_QuotCxlEntriesGrp : Full_app_records.fix_rg_inner_quotcxlentriesgrp -> (string * Imandra_prelude.string option) list
val encode_QuotReqGrp : Full_app_records.fix_rg_inner_quotreqgrp -> (string * Imandra_prelude.string option) list
val encode_QuotReqRjctGrp : Full_app_records.fix_rg_inner_quotreqrjctgrp -> (string * Imandra_prelude.string option) list
val encode_MDIncGrp : Full_app_records.fix_rg_inner_mdincgrp -> (string * Imandra_prelude.string option) list
val encode_InstrmtMDReqGrp : Full_app_records.fix_rg_inner_instrmtmdreqgrp -> (string * Imandra_prelude.string option) list
val encode_ListOrdGrp : Full_app_records.fix_rg_inner_listordgrp -> (string * Imandra_prelude.string option) list
val encode_SecListGrp : Full_app_records.fix_rg_inner_seclistgrp -> (string * Imandra_prelude.string option) list
val encode_QuotSetAckGrp : Full_app_records.fix_rg_inner_quotsetackgrp -> (string * Imandra_prelude.String.t option) list
val encode_QuotSetGrp : Full_app_records.fix_rg_inner_quotsetgrp -> (string * Imandra_prelude.String.t option) list
val encode_SettlInstGrp : Full_app_records.fix_rg_inner_settlinstgrp -> (string * Imandra_prelude.string option) list
val encode_AllocGrp : Full_app_records.fix_rg_inner_allocgrp -> (string * Imandra_prelude.string option) list