package frenetic

  1. Overview
  2. Docs
package frenetic
Legend:
Library
Module
Module type
Parameter
Class
Class type
type t = Field.t * Value.t
val compare : t -> t -> int

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 equal : t -> t -> bool

of_hv header_value converts a NetKAT header_value pair to a pattern

to_hv p converts a pattern to a NetKAT header_value pair

to_pred p converts a pattern to a NetKAT predicate