Module Value_product

module Value_product: sig .. end

Cartesian product of two value abstractions.


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