module Complete_Simple_Cvalue:functor (
Domain
:
Simpler_domains.Simple_Cvalue
) ->
Abstract_domain.Internal
with type value = Cvalue.V.t and type location = Precise_locs.precise_location and type state = Domain.t
Parameters: |
|
include Abstract_domain.S_with_Structure
module Store:Abstract_domain.Store
with type state := state