Make (ocamlgraph.Graph.ChaoticIteration.Make)

Parameters

module G : G

module D : sig ... end

module M : sig ... end

val recurse : 
  G.t ->
  G.V.t Graph__.WeakTopological.t ->
  (G.V.t -> D.t) ->
  G.V.t widening_set ->
  int ->
  D.t M.t