module Make: functor (Value : Abstract.Value.External) -> sig .. end
functor (
Value
:
Abstract.Value.External
) ->
sig
end
include Abstract_domain.Leaf
val pretty_debug : Stdlib.Format.formatter -> Equality_domain.t -> unit
Stdlib.Format.formatter -> Equality_domain.t -> unit