Module type IntDigraph.US

module type US = sig .. end

Signature for unbounded indexed digraphs.

include IntDigraph.S

type vertex

val index : t -> vertex -> int

val vertex : t -> int -> vertex

val add_vertex : t -> vertex -> int