API REFERENCE
Bibliography
Further info
libsemigroups::Semiring::
::
plus
Returns the sum, in the semiring, of the parameters.