Module Encode_app_messages
val encode_ExecutionReport : Full_app_messages.full_fix_executionreport_data -> (string * Imandra_prelude.string option) listval encode_NewOrderSingle : Full_app_messages.full_fix_newordersingle_data -> (string * Imandra_prelude.string option) listval encode_app_msg_data : Full_app_messages.full_app_msg_data -> (string * Imandra_prelude.string option) list