package batteries

You can search for identifiers within the package.

in-package search v0.2.0

A community-maintained standard library extension

Install

sha256=40d18485911e343500a5636bbf1d84e2ee32f924fe87e5fd13a37641a4d8f226

md5=fe4da12b678a82faaeda4e58492ea871

module O1 : OrderedType

module O2 : OrderedType

module Product : S with type elt = O1.t * O2.t

val cartesian_product : Make(O1).t -> Make(O2).t -> Product.t

cartesian product of the two sets

On This Page