sig
  type elt = int
  val mult : elt t -> elt t -> elt t
  val add : elt t -> elt t -> elt t
  val sum : elt t -> elt
  val prod : elt t -> elt
  val add_scalar : elt t -> x:elt -> elt t
  val mult_scalar : elt t -> x:elt -> elt t
end