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: |
|
include Abstract_domain.S
val structure : t structure