Update btree.ml