Module Dhunk_analysis.Wto_alg

type pref = G.V.t -> G.V.t -> int
val partition : ?pref:pref -> init:G.V.t -> succs:(G.V.t -> G.V.t list) -> G.V.t Fixpoint__Wto.component list
val pretty_partition : Stdlib.Format.formatter -> G.V.t Fixpoint__Wto.component list -> unit
val pretty_component : Stdlib.Format.formatter -> G.V.t Fixpoint__Wto.component -> unit
val equal_component : G.V.t Fixpoint__Wto.component -> G.V.t Fixpoint__Wto.component -> bool
val equal_partition : G.V.t Fixpoint__Wto.component list -> G.V.t Fixpoint__Wto.component list -> bool