module Make: functor (
Domain
:
Abstract_domain.Internal
) ->
functor (
Convert
:
Conversion
with type internal_value := Domain.value
and type internal_location := Domain.location
) ->
Abstract_domain.Internal
with type state = Domain.state
and type value = Convert.extended_value
and type location = Convert.extended_location
and type origin = Domain.origin
Parameters: |
Domain |
: |
Abstract_domain.Internal
|
Convert |
: |
Conversion with type internal_value := Domain.value
and type internal_location := Domain.location
|
|
include Abstract_domain.S
val structure : t Abstract_domain.structure
A structure matching the type of the domain.