module Make2: functor (O1 : OrderedType) -> functor (O2 : OrderedType) -> sig .. end
functor (
O1
:
OrderedType
) ->
O2
sig
end
module Product: BatSet.S with type elt = O1.t * O2.t
BatSet.S
with type elt = O1.t * O2.t
val cartesian_product : Make(O1).t -> Make(O2).t -> Product.t
Make(O1).t -> Make(O2).t -> Product.t
cartesian product of the two sets