Module Splay_tree0.Reduction_operations
val reduce2 : ('k, 'd, 'a) reduction_operation -> ('k, 'd, 'b) reduction_operation -> ('k, 'd, 'a * 'b) reduction_operation
Splay_tree0.Reduction_operations
val reduce2 : ('k, 'd, 'a) reduction_operation -> ('k, 'd, 'b) reduction_operation -> ('k, 'd, 'a * 'b) reduction_operation