Module Frenetic_netkat.Vlr

module type HashCmp : sig ... end

The signature for a type that can be compared and hashed

module type Lattice : sig ... end

The signature for a type that has a lattice structure.

module type Result : sig ... end

The type for a result that has a semi-ring structure

module IntPairTbl : Core.Hashtbl.S with type IntPairTbl.key = int * int
module Make : functor (V : HashCmp) -> functor (L : Lattice) -> functor (R : Result) -> sig ... end

Variable-Lattice-Result