Functor Domain_product.Make

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
Parameters:
Value : Abstract_value.S
Left : Abstract_domain.Internal with type value = Value.t
Right : Abstract_domain.Internal with type value = Left.value and type location = Left.location

include Abstract_domain.S_with_Structure
module Store: Abstract_domain.Store  with type state := state