Parameter Make.I

type t
val vk : vector_kind