package batteries

You can search for identifiers within the package.

in-package search v0.2.0

A community-maintained standard library extension

Install

md5=e4b70d1a716f0aaba36f419f618d0a2e

sha512=a31f1f8cf2c7c3c6c757f3bfae98ff61bb32bab6a1f1e215937df42bcfa447aad41a37edb28d7bcecb88b3838ed8bd57142bcf8e2d28e09bb538055fd8a3b72d

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