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