Sparse_vec.Op
val (.%[]) : t -> basis -> Mavryk_benchmark.Sparse_vec.R.t
val (.%[]<-) : t -> basis -> Mavryk_benchmark.Sparse_vec.R.t -> t
val (+) : t -> t -> t
val (*) : Mavryk_benchmark.Sparse_vec.R.t -> t -> t