Comparable.S_local2
type ('a, 'b) t
val compare__local : ('a -> 'a -> int) -> ('b -> 'b -> int) -> ('a, 'b) t -> ('a, 'b) t -> int