Module type Container.Summable

type t
val zero : t
val (+) : t -> t -> t