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
module Dom:Abstract_domain.External
with type value = Val.t and type location = Loc.location