splay_tree

A splay tree implementation
IN THIS PACKAGE
val reduce2 : ( 'k, 'd, 'a ) reduction_operation -> ( 'k, 'd, 'b ) reduction_operation -> ( 'k, 'd, 'a * 'b ) reduction_operation