Module `Partition_ii.Partition`

type k = S.k
type r = S.r
type pure_partition = Make_2(S).pure_partition
type t = Make_2(S).t = { mutable partition : pure_partition; }

val find : t -> k -> k * r
val split : t -> k1:k -> r1:r -> k2:k -> r2:r -> unit
val to_list : t -> (k * r) list
val of_list : (k * r) list -> t
val length : t -> int