Module Domain_product

module Domain_product: sig .. end

val product_category : Self.category
module Make: 
functor (Value : Abstract_value.S-> 
functor (Left : Abstract.Domain.Internal with type value = Value.t-> 
functor (Right : Abstract.Domain.Internal with type value = Left.value and type location = Left.location-> Abstract.Domain.Internal with type value = Value.t and type location = Left.location and type state = Left.state * Right.state