Arbori binari de cautare
Cheile unui arbore binar de cautare satisfac proprietatea arborelui binar de cautare:
Fie x un nod dintr-un arbore binar de cautare. Daca y este un nod din subarborele stîng al lui x, atunci cheie[y] Tree Int
searchtree (T(l,k,r)) x = if x Tree Int -> Tree Int
listtree [] Nil = Nil
listtree [] (T(l,n,r)) = (T(l,n,r))
listtree (x:xs) y = listtree xs (searchtree y x)