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