Module `Encode_full_messages`

Parser for full administrative messages.

val req : ('a -> 'b) -> 'a -> 'b option
val opt : ('a -> 'b) -> 'a option -> 'b option
val encode_msg_data : Full_messages.full_msg_data -> (string * Imandra_prelude.string option) list
val encode_header : Full_message_tags.full_msg_tag -> Full_messages.fix_header -> (string * Imandra_prelude.string option) list
val encode_trailer : Full_messages.fix_trailer -> (string * Imandra_prelude.String.t option) list
val get_body_length : (Imandra_prelude.String.t * Imandra_prelude.String.t) list -> Z.t
val get_checksum : (Imandra_prelude.String.t * Imandra_prelude.String.t) list -> Z.t
val prepare_packet : (Imandra_prelude.String.t * Imandra_prelude.String.t) list -> (Imandra_prelude.String.t * Imandra_prelude.String.t) list
val encode_full_valid_msg : Full_messages.full_valid_fix_msg -> Imandra_prelude.String.t