Functor BatSet.Make2

module Make2: 
functor (O1 : OrderedType) ->
functor (O2 : OrderedType) -> sig .. end
Parameters:
O1 : OrderedType
O2 : OrderedType

module Product: BatSet.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