Module Partition.Make_2

Mutable partitions, with split hook

Parameters

Signature

type k = S.k
type r = S.r
type pure_partition
type 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