package frenetic

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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

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

OCaml

Innovation. Community. Security.