Merge.1-S
type k
type v
val ks1 : int -> k
val vs1 : int -> v
val len1 : int
val ks2 : int -> k
val vs2 : int -> v
val len2 : int
val set : int -> k -> v -> unit