val mk_equal :
('a -> 'a -> bool) ->
('b -> 'b -> bool) ->
('a, 'b) t ->
('a, 'b) t ->
bool
val mk_compare :
('a -> 'a -> int) ->
('b -> 'b -> int) ->
('a, 'b) t ->
('a, 'b) t ->
int
val mk_hash : ('a -> int) -> ('b -> int) -> ('a, 'b) t -> int
val map : ('a -> 'b) -> ('c -> 'd) -> ('a, 'c) t -> ('b, 'd) t
val mk_pretty :
(Stdlib.Format.formatter -> 'a -> unit) ->
(Stdlib.Format.formatter -> 'b -> unit) ->
Stdlib.Format.formatter ->
('a, 'b) t ->
unit