Module type Abstractions.S

module type S = sig .. end

The three abstractions used in an Eva analysis.

module Val: Abstractions.Value

module Loc: Abstract.Location.External  with type value = Val.t

module Dom: Abstract.Domain.External  with type value = Val.t
                                         and type location = Loc.location