1. Overview
  2. Docs
package batteries
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module O1 : OrderedType
module O2 : OrderedType

Signature

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