plus

bool libsemigroups::BooleanSemiring::plus(bool, bool) const

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