plus

T libsemigroups::Semiring::plus(T, T) const = 0

Returns the sum, in the semiring, of the parameters.