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