Module type Dominator.G

module type G = sig .. end

type t 

module V: Sig.COMPARABLE 

val pred : t -> V.t -> V.t list

val succ : t -> V.t -> V.t list

val fold_vertex : (V.t -> 'a -> 'a) -> t -> 'a -> 'a

val iter_vertex : (V.t -> unit) -> t -> unit

val nb_vertex : t -> int

val create : ?size:int -> unit -> t

val add_edge : t -> V.t -> V.t -> unit