module Restrict:functor (
Value
:
Abstract_value.S
) ->
functor (
Domain
:
Abstract.Domain.Internal
with type value = Value.t
) ->
functor (
Scope
:
sig
val functions :Domain_mode.function_mode list
end
) ->
Abstract.Domain.Internal
with type value = Value.t and type location = Domain.location
Parameters: |
|
include Abstract_domain.S
val structure : t structure