Module S.ICMPv4
include Firewall_tree__.Tree_base.ICMPv4 with type ipv4_addr := IPv4.ipv4_addr
type ipv4_addr
type icmpv4_type
=
type icmpv4_header
type icmpv4_payload_raw
val icmpv4_header_to_icmpv4_type : icmpv4_header -> icmpv4_type
val make_dummy_icmpv4_header : unit -> icmpv4_header
val update_icmpv4_header_ : icmpv4_type option -> icmpv4_header -> icmpv4_header
val icmpv4_payload_raw_to_byte_string : icmpv4_payload_raw -> string
val byte_string_to_icmpv4_payload_raw : string -> icmpv4_payload_raw
val update_icmpv4_header : ?icmpv4_type:icmpv4_type -> icmpv4_header -> icmpv4_header