Functor Value_product.Make

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

include Abstract_value.S
val structure : t Abstract_value.structure