let rec iter_depth f n = n >>> f ; for i = 0 to n_children n -1 do (n >>> child i) >>> iter_depth f done