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