Partition.Make_1
Pure partitions
S : S
type k
= S.k
type r
= S.r
type t
val find : t -> k -> k * r
val split : t -> k1:k -> r1:r -> k2:k -> r2:r -> t
val to_list : t -> (k * r) list
val of_list : (k * r) list -> t
val length : t -> int