let
subtree_left =
fun
d_tree
->
subtree d_tree 0