trees :: BinTreeMap :: dot_down
node
.
redef fun dot_down(node, f) do
if node.left != null then dot_down(node.left.as(not null), f)
f.write node.to_dot
if node.parent != null then f.write "\"{node.parent.as(not null)}\" -> \"{node}\"[dir=back];\n"
if node.right != null then dot_down(node.right.as(not null), f)
end
lib/trees/rbtree.nit:121,2--126,4