package batteries

You can search for identifiers within the package.

in-package search v0.2.0

A community-maintained standard library extension

Install

md5=d02c4f044e53edca010de46f9139ce00

sha512=99a5afa3604c4cf0c849c670111d617f7f255acb0da043b73ddffdf0e299948bce52516ee31921f269de6088156c4e0a187e0b931543c6819c6b25966b303281

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

On This Page