Module Encode_admin_messages
Parse full administrative messages.
val req : ('a -> 'b) -> 'a -> 'b optionval opt : ('a -> 'b) -> 'a option -> 'b optionval repeat : ('a -> ('b * Imandra_prelude.String.t option) list) -> 'b -> 'a list -> ('b * Imandra_prelude.String.t option) listval encode_msg_heartbeat_data : Full_admin_messages.full_msg_heartbeat_data -> (string * Imandra_prelude.string option) listval encode_msg_types : Full_admin_messages.full_msg_types_inner_rg -> (string * string option) listval encode_msg_logon_data : Full_admin_messages.full_msg_logon_data -> (string * Imandra_prelude.string option) listval encode_msg_logoff_data : Full_admin_messages.full_msg_logoff_data -> (string * Imandra_prelude.String.t option) listval encode_msg_resend_request_data : Full_admin_messages.full_msg_resend_request_data -> (string * Imandra_prelude.String.t option) listval encode_msg_reject_data : Full_admin_messages.full_msg_reject_data -> (string * Imandra_prelude.String.t option) listval encode_msg_sequence_reset_data : Full_admin_messages.full_msg_sequence_reset_data -> (string * Imandra_prelude.String.t option) listval encode_msg_test_request_data : Full_admin_messages.full_msg_test_request_data -> (string * Imandra_prelude.string option) listval encode_msg_business_reject_data : Full_admin_messages.full_msg_business_reject_data -> (string * Imandra_prelude.String.t option) listval encode_admin_msg_data : Full_admin_messages.full_admin_msg_data -> (string * Imandra_prelude.string option) list