module Domain_product:sig
..end
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