API REFERENCE
Bibliography
Further info
libsemigroups::MaxPlusSemiring::
::
plus
Returns the maximum of the parameters.