Parameter Make.O

type t
val vk : vector_kind