Module type Abstractions.S

module type S = sig .. end

Types of the abstractions of the analysis: value, location and state abstractions.


module Val: Abstractions.Value 
module Loc: Abstract_location.External  with type value = Val.t
                                           and type location = Precise_locs.precise_location
module Dom: Abstract_domain.External  with type value = Val.t
                                         and type location = Loc.location