Module S.PDU_replace
val layer2_pdu : PDU.layer2_pdu -> PDU.pdu -> PDU.pduval layer3_pdu : PDU.layer3_pdu -> PDU.pdu -> PDU.pduval layer4_pdu : PDU.layer4_pdu -> PDU.pdu -> PDU.pduval ether_frame : PDU.ether_frame -> PDU.pdu -> PDU.pduval ether_header : Ether.ether_header -> PDU.pdu -> PDU.pduval ether_payload : PDU.ether_payload -> PDU.pdu -> PDU.pduval ipv4_pkt : PDU.ipv4_pkt -> PDU.pdu -> PDU.pduval ipv4_header : IPv4.ipv4_header -> PDU.pdu -> PDU.pduval ipv4_payload : PDU.ipv4_payload -> PDU.pdu -> PDU.pduval ipv6_pkt : PDU.ipv6_pkt -> PDU.pdu -> PDU.pduval ipv6_header : IPv6.ipv6_header -> PDU.pdu -> PDU.pduval ipv6_payload : PDU.ipv6_payload -> PDU.pdu -> PDU.pduval icmpv4_pkt : PDU.icmpv4_pkt -> PDU.pdu -> PDU.pduval icmpv4_header : ICMPv4.icmpv4_header -> PDU.pdu -> PDU.pduval icmpv4_payload : PDU.icmpv4_payload -> PDU.pdu -> PDU.pduval icmpv6_pkt : PDU.icmpv6_pkt -> PDU.pdu -> PDU.pduval icmpv6_header : ICMPv6.icmpv6_header -> PDU.pdu -> PDU.pduval icmpv6_payload : PDU.icmpv6_payload -> PDU.pdu -> PDU.pduval tcp_pdu : PDU.tcp_pdu -> PDU.pdu -> PDU.pduval tcp_header : TCP.tcp_header -> PDU.pdu -> PDU.pduval tcp_payload : PDU.tcp_payload -> PDU.pdu -> PDU.pduval udp_pdu : PDU.udp_pdu -> PDU.pdu -> PDU.pduval udp_header : UDP.udp_header -> PDU.pdu -> PDU.pduval udp_payload : PDU.udp_payload -> PDU.pdu -> PDU.pdu