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

include Abstract_domain.S

val structure : t structure