package batteries

You can search for identifiers within the package.

in-package search v0.2.0

A community-maintained standard library extension

Install

md5=1bcb27dfbd130eb057561196ef851649

sha512=2a56611b09a5f1cba6457539f8b6bc87a5f2a5454b36cdb39f6e0d6a5dac6db179aab1ba87c74dd49cc41df31a9a96feb349028ea41df7371ecb47f4d9dfafc4

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