height of left plus 1

height of tree (node (v, (node (l, ll, lr)), None)) = (height of tree (node (l, ll, lr))) + 1

Comments

Please log in to add comments