functor
  (Node : sig
            type t
            val equal : Wto.Make.t -> Wto.Make.t -> bool
            val hash : Wto.Make.t -> int
            val pretty : Format.formatter -> Wto.Make.t -> unit
          end->
  sig
    val partition :
      init:Node.t -> succs:(Node.t -> Node.t list) -> Node.t Wto.partition
    val pretty_partition : Format.formatter -> Node.t Wto.partition -> unit
    val pretty_component : Format.formatter -> Node.t Wto.component -> unit
  end