functor (V : Value) ->
functor (W : Value) ->
sig
type t = V.t * W.t
val compare :
Abstract_interp.Make_Pair.t -> Abstract_interp.Make_Pair.t -> int
val pretty : Format.formatter -> Abstract_interp.Make_Pair.t -> unit
end