Instances.LiftBinary
module T : Types.BINARY_TYPE
module I : sig ... end
type ('a, 'b) t = ('a, 'b) I.t
val order :
('a -> 'a -> Types.order) ->
('b -> 'b -> Types.order) ->
('a, 'b) t ->
('a, 'b) t ->
Types.order
val hash : ('a -> int) -> ('b -> int) -> ('a, 'b) t -> int