Module Value_product

module Value_product: sig .. end
Cartesian product of two value abstractions.

module Make: 
functor (Left : Abstract_value.Internal) ->
functor (Right : Abstract_value.Internal) -> Abstract_value.Internal with type t = Left.t * Right.t