Module Parse_admin_messages
Parse full administrative messages.
val parse_msg_heartbeat_data : Parser_utils.Parser.msg -> Full_admin_messages.full_msg_heartbeat_data Parser_utils.Parser.tval parse_msg_types : (Imandra_prelude.string * Imandra_prelude.string) list -> Full_admin_messages.full_msg_types_inner_rg Parser_utils.Parser.t * (Imandra_prelude.string * Imandra_prelude.string) listval parse_msg_logon_data : Parser_utils.Parser.msg -> Full_admin_messages.full_msg_logon_data Parser_utils.Parser.tval parse_msg_logoff_data : Parser_utils.Parser.msg -> Full_admin_messages.full_msg_logoff_data Parser_utils.Parser.tval parse_msg_resend_request_data : Parser_utils.Parser.msg -> Full_admin_messages.full_msg_resend_request_data Parser_utils.Parser.tval parse_msg_reject_data : Parser_utils.Parser.msg -> Full_admin_messages.full_msg_reject_data Parser_utils.Parser.tval parse_msg_sequence_reset_data : Parser_utils.Parser.msg -> Full_admin_messages.full_msg_sequence_reset_data Parser_utils.Parser.tval parse_msg_test_request_data : Parser_utils.Parser.msg -> Full_admin_messages.full_msg_test_request_data Parser_utils.Parser.tval parse_msg_business_reject_data : Parser_utils.Parser.msg -> Full_admin_messages.full_msg_business_reject_data Parser_utils.Parser.tval parse_admin_msg_data : Full_admin_tags.full_admin_msg_tag -> Parser_utils.Parser.msg -> Full_admin_messages.full_admin_msg_data Parser_utils.Parser.t