module type S =sig
..end
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