package batteries

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `BatSet.Make2`Source

module O1 : OrderedType

module O2 : OrderedType

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

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

cartesian product of the two sets