module Builder:sig
..end
Note: the following functions always return graphs but this is meaningless
for imperative implementations (the graph is modified in-place).
This is just to provide a common interface.
module type S =sig
..end
module type INT =S
with type G.V.label = int
module P:
module I: