sig
  type elt
  val mult :
    CCArray1.View.S.elt CCArray1.View.t ->
    CCArray1.View.S.elt CCArray1.View.t ->
    CCArray1.View.S.elt CCArray1.View.t
  val add :
    CCArray1.View.S.elt CCArray1.View.t ->
    CCArray1.View.S.elt CCArray1.View.t ->
    CCArray1.View.S.elt CCArray1.View.t
  val sum : CCArray1.View.S.elt CCArray1.View.t -> CCArray1.View.S.elt
  val prod : CCArray1.View.S.elt CCArray1.View.t -> CCArray1.View.S.elt
  val add_scalar :
    CCArray1.View.S.elt CCArray1.View.t ->
    x:CCArray1.View.S.elt -> CCArray1.View.S.elt CCArray1.View.t
  val mult_scalar :
    CCArray1.View.S.elt CCArray1.View.t ->
    x:CCArray1.View.S.elt -> CCArray1.View.S.elt CCArray1.View.t
end