Module Abstractions.Default

module Default: S 

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