functor
  (X : sig
         val share : bool
         val value :
           (Slap_Z.num_type, Slap_Z.prec, Bigarray.fortran_layout)
           Bigarray.Array1.t
       end) ->
  CNTVEC