Module type Strat.G

module type G = sig .. end
Signature for graphs

type t 
module V: Sig.ORDERED_TYPE 
type vertex = V.t 
val mem_vertex : t -> vertex -> bool
val succ : t -> vertex -> vertex list
val fold_vertex : (vertex -> 'a -> 'a) -> t -> 'a -> 'a
val fold_succ : (vertex -> 'a -> 'a) -> t -> vertex -> 'a -> 'a