module type S = sig .. end
sig
end
include Abstract_domain.Internal
val key : t Abstract_domain.key
t Abstract_domain.key
val pretty_debug : Format.formatter -> t -> unit
Format.formatter -> t -> unit
type equalities
val project : t -> equalities
t -> equalities