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