Module `Partition.Partition_ii`

Default partition instance, mutable, k=int, r=int

module S : sig ... end

module Partition : sig ... end

include 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

val write_fn : t -> fn:string -> unit
val read_fn : fn:string -> t
val reload : t -> fn:string -> unit