Module Cfg_analysis.Wto

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