Module S.Pred

type netif
type ether_addr
type ipv4_addr
type ipv6_addr
type tcp_port
type udp_port
type rlu_ipv4
type rlu_ipv6
type conn_state
type conn_tracker
type pdu
type pred =
| True
| False
| And of pred * pred
| Or of pred * pred
| Not of pred
| Guide_decap_to_layer3 of pred
| Guide_decap_to_layer4 of pred
| Contains_Ether
| Ether_src_addr_one_of of ether_addr array
| Ether_src_addr_eq of ether_addr
| Ether_src_addr_gt of ether_addr
| Ether_src_addr_lt of ether_addr
| Ether_src_addr_ge of ether_addr
| Ether_src_addr_le of ether_addr
| Ether_dst_addr_one_of of ether_addr array
| Ether_dst_addr_eq of ether_addr
| Ether_dst_addr_gt of ether_addr
| Ether_dst_addr_lt of ether_addr
| Ether_dst_addr_ge of ether_addr
| Ether_dst_addr_le of ether_addr
| Contains_IPv4
| IPv4_src_addr_one_of of ipv4_addr array
| IPv4_src_addr_eq of ipv4_addr
| IPv4_src_addr_gt of ipv4_addr
| IPv4_src_addr_lt of ipv4_addr
| IPv4_src_addr_ge of ipv4_addr
| IPv4_src_addr_le of ipv4_addr
| IPv4_dst_addr_one_of of ipv4_addr array
| IPv4_dst_addr_eq of ipv4_addr
| IPv4_dst_addr_gt of ipv4_addr
| IPv4_dst_addr_lt of ipv4_addr
| IPv4_dst_addr_ge of ipv4_addr
| IPv4_dst_addr_le of ipv4_addr
| Contains_IPv6
| IPv6_src_addr_one_of of ipv6_addr array
| IPv6_src_addr_eq of ipv6_addr
| IPv6_src_addr_gt of ipv6_addr
| IPv6_src_addr_lt of ipv6_addr
| IPv6_src_addr_ge of ipv6_addr
| IPv6_src_addr_le of ipv6_addr
| IPv6_dst_addr_one_of of ipv6_addr array
| IPv6_dst_addr_eq of ipv6_addr
| IPv6_dst_addr_gt of ipv6_addr
| IPv6_dst_addr_lt of ipv6_addr
| IPv6_dst_addr_ge of ipv6_addr
| IPv6_dst_addr_le of ipv6_addr
| Contains_TCP
| TCP_src_port_one_of of tcp_port array
| TCP_src_port_eq of tcp_port
| TCP_src_port_gt of tcp_port
| TCP_src_port_lt of tcp_port
| TCP_src_port_ge of tcp_port
| TCP_src_port_le of tcp_port
| TCP_dst_port_one_of of tcp_port array
| TCP_dst_port_eq of tcp_port
| TCP_dst_port_gt of tcp_port
| TCP_dst_port_lt of tcp_port
| TCP_dst_port_ge of tcp_port
| TCP_dst_port_le of tcp_port
| Contains_UDP
| UDP_src_port_one_of of udp_port array
| UDP_src_port_eq of udp_port
| UDP_src_port_gt of udp_port
| UDP_src_port_lt of udp_port
| UDP_src_port_ge of udp_port
| UDP_src_port_le of udp_port
| UDP_dst_port_one_of of udp_port array
| UDP_dst_port_eq of udp_port
| UDP_dst_port_gt of udp_port
| UDP_dst_port_lt of udp_port
| UDP_dst_port_ge of udp_port
| UDP_dst_port_le of udp_port
| Contains_ICMPv4
| ICMPv4_ty_eq_Echo_reply
| ICMPv4_ty_eq_Destination_unreachable
| ICMPv4_ty_eq_Source_quench
| ICMPv4_ty_eq_Redirect
| ICMPv4_ty_eq_Echo_request
| ICMPv4_ty_eq_Time_exceeded
| ICMPv4_ty_eq_Parameter_problem
| ICMPv4_ty_eq_Timestamp_request
| ICMPv4_ty_eq_Timestamp_reply
| ICMPv4_ty_eq_Information_request
| ICMPv4_ty_eq_Information_reply
| Conn_state_eq of {
tracker : conn_tracker;
target_state : conn_state;
}
| Custom of netif -> rlu_ipv4 -> rlu_ipv6 -> pdu -> bool
val eval_pred : pred -> src_netif:netif -> rlu_ipv4 -> rlu_ipv6 -> pdu -> bool
val ether_addr_eq : ether_addr -> ether_addr -> bool
val ether_addr_gt : ether_addr -> ether_addr -> bool
val ether_addr_lt : ether_addr -> ether_addr -> bool
val ether_addr_ge : ether_addr -> ether_addr -> bool
val ether_addr_le : ether_addr -> ether_addr -> bool
val ipv4_addr_eq : ipv4_addr -> ipv4_addr -> bool
val ipv4_addr_gt : ipv4_addr -> ipv4_addr -> bool
val ipv4_addr_lt : ipv4_addr -> ipv4_addr -> bool
val ipv4_addr_ge : ipv4_addr -> ipv4_addr -> bool
val ipv4_addr_le : ipv4_addr -> ipv4_addr -> bool
val ipv6_addr_eq : ipv6_addr -> ipv6_addr -> bool
val ipv6_addr_gt : ipv6_addr -> ipv6_addr -> bool
val ipv6_addr_lt : ipv6_addr -> ipv6_addr -> bool
val ipv6_addr_ge : ipv6_addr -> ipv6_addr -> bool
val ipv6_addr_le : ipv6_addr -> ipv6_addr -> bool
val tcp_port_eq : tcp_port -> tcp_port -> bool
val tcp_port_gt : tcp_port -> tcp_port -> bool
val tcp_port_lt : tcp_port -> tcp_port -> bool
val tcp_port_ge : tcp_port -> tcp_port -> bool
val tcp_port_le : tcp_port -> tcp_port -> bool
val udp_port_eq : udp_port -> udp_port -> bool
val udp_port_gt : udp_port -> udp_port -> bool
val udp_port_lt : udp_port -> udp_port -> bool
val udp_port_ge : udp_port -> udp_port -> bool
val udp_port_le : udp_port -> udp_port -> bool