plus

bool libsemigroups::BooleanSemiring::plus(bool x, bool y) const override

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