Parameter Make_2.1-S

type k
val compare : k -> k -> int
val min_key : k
type r

bucket identifiers