Module With_bucket.U

val ks : int -> int
val vs : int -> int