one

bool libsemigroups::BooleanSemiring::one() const

Returns the multiplicative identity, or one, of the semiring.