Container.Summable
type t
val zero : t
The result of summing no values.
val (+) : t -> t -> t
An operation that combines two t's and handles zero + x by just returning x, as well as in the symmetric case.
t
zero + x
x