src/graph.mli: