Module Fdd.PatternSource

Sourceval 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

Sourceval equal : t -> t -> bool
Sourceval of_hv : ?env:Field.Env.t -> Syntax.header_val -> t

of_hv header_value converts a NetKAT header_value pair to a pattern

Sourceval to_hv : t -> Syntax.header_val

to_hv p converts a pattern to a NetKAT header_value pair

Sourceval to_pred : t -> Syntax.pred

to_pred p converts a pattern to a NetKAT predicate