Module Partition_ii.S

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