prod

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

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