compare p1 p2
compares two patterns - the field ordering is used for differing fields, and the natural order of integers for
patterns with the same field
val of_hv : ?env:Field.Env.t ‑> Syntax.header_val ‑> t
of_hv header_value
converts a NetKAT header_value pair to a pattern
val to_sdn : t ‑> Frenetic_kernel.OpenFlow.Pattern.t ‑> Frenetic_kernel.OpenFlow.Pattern.t