module Legacy: S
S
module Val: Abstractions.Value
Abstractions.Value
module Loc: Abstract_location.External with type value = Val.t
Abstract_location.External
with type value = Val.t
module Dom: Abstract_domain.External with type value = Val.t and type location = Loc.location
Abstract_domain.External
with type value = Val.t and type location = Loc.location