API REFERENCE
Bibliography
Further info
libsemigroups::MinPlusSemiring::
::
plus
Returns the minimum of the parameters.