module Domain_lift:sig
..end
module type Conversion =sig
..end
module Make:functor (
Domain
:
Abstract_domain.Leaf
) ->
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