Util_serpack.Vec
val vec_to_serpack : 'a Ser_pack.Ser.t -> 'b Imandrakit_common.Vec.vector Ser_pack.Ser.t
val vec_of_serpack : 'a Ser_pack.Deser.t -> 'b Imandrakit_common.Vec.vector Ser_pack.Deser.t