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