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