Module Frenetic_netkat.VlrSource

Sourcemodule type HashCmp = sig ... end

The signature for a type that can be compared and hashed

Sourcemodule type Lattice = sig ... end

The signature for a type that has a lattice structure.

Sourcemodule type Result = sig ... end

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

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

Variable-Lattice-Result