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