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