module Make: functor (Value : Abstract_value.External) -> sig .. end
functor (
Value
:
Abstract_value.External
) ->
sig
end
include Abstract_domain.Internal
val key : t Abstract_domain.key
t Abstract_domain.key
val pretty_debug : Stdlib.Format.formatter -> t -> unit
Stdlib.Format.formatter -> t -> unit
type equalities
val project : t -> equalities
t -> equalities