module type I = sig .. end
sig
end
include Dominator.G
val create : ?size:int -> unit -> t
?size:int -> unit -> t
val add_edge : t -> V.t -> V.t -> unit
t -> V.t -> V.t -> unit