Parameter Make.O

type t
val vk : {vector_kind}1