module Pair2B: functor (B1 : Base) -> functor (B2 : Base) -> sig .. end
functor (
B1
:
Base
) ->
B2
sig
end
type t = B1.t * B2.t
B1.t * B2.t
val compare : t -> t -> int
t -> t -> int