Module Kv_hash__Partition.Partition_ii
Default partition instance, mutable, k=int, r=int
module S : sig ... endmodule Partition : sig ... endinclude Partition
type k= S.ktype r= S.rtype pure_partition= Make_2(S).pure_partitiontype t= Make_2(S).t={mutable partition : pure_partition;}