src/gfile.mli: Graph