frenetic.netkat
Domain.Field
frenetic
frenetic.async
frenetic.kernel
type t = Fdd.Field.t
val compare : t -> t -> int
include Core.Comparator.S with type t := t
type comparator_witness
val comparator : (t, comparator_witness) Core_kernel__Comparator.comparator