Functor Abstract_interp.Make_Pair


module Make_Pair: 
functor (V : Value) ->
functor (W : Value) -> sig .. end
Parameters:
V : Value
W : Value

type t = V.t * W.t 
val compare : t -> t -> int
val pretty : Format.formatter -> t -> unit