Instances.ComposeLeft
module T : Types.BINARY_TYPE
module L : Types.UNARY_TYPE
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