module Make:functor (
Value
:
Abstract_value.S
) ->
functor (
Loc
:
Abstract_location.S
) ->
Abstract_domain.Internal
with type state = unit and type value = Value.t and type location = Loc.location
Parameters: |
|
include Abstract_domain.S
val structure : t Abstract_domain.structure