API REFERENCE
Bibliography
Further info
libsemigroups::BooleanSemiring::
::
prod
Returns the product, in the semiring, of the parameters.