sig
  type partition =
      Nil
    | Node of int * Wto.partition
    | Component of Wto.partition * Wto.partition
  val pretty : Wto.partition Pretty_utils.formatter
  type succ = (int -> unit) -> int -> unit
  val partition : size:int -> succ:Wto.succ -> root:int -> Wto.partition
  val fixpoint :
    (level:int -> int -> bool) -> (int -> unit) -> Wto.partition -> unit
end