functor (X : sig val value : Slap_Z.num_type array end-> CNTVEC