API REFERENCE
Bibliography
Further info
libsemigroups::BooleanSemiring::
::
one
Returns the multiplicative identity, or one, of the semiring.