digraph_functional.ml