datatype 'a BTree
           = EmptyBTree
           | BTNode of 'a * 'a BTree * 'a BTree
Last modified: Wed Apr 4 22:01:12 PDT 2001