prod

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

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