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