Module type Dominator.I

module type I = sig .. end

include Dominator.G
val create : ?size:int -> unit -> t
val add_edge : t -> V.t -> V.t -> unit