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