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