Parameter Make.S

module Left : Zset.S

Left input Z-set.

module Right : Zset.S

Right input Z-set.

module Out : Zset.S

Output Z-set (the joined rows).

type key

The equi-join key type.

val compare_key : key -> key -> int

Total order on keys (used to index the integrated inputs).

val key_left : Left.elt -> key

The join key of a left element.

val key_right : Right.elt -> key

The join key of a right element.

val combine : Left.elt -> Right.elt -> Out.elt

Combine a matched (left, right) pair into an output element. The output weight is the product of the input weights.