Module Relude_Bool.Disjunctive

module Magma: BsBastet.Interface.MAGMA with type Magma.t = bool;
module MedialMagma: BsBastet.Interface.MEDIAL_MAGMA with type MedialMagma.t = bool;
module Semigroup: BsBastet.Interface.SEMIGROUP with type Semigroup.t = bool;
include { ... };
let concatNamed: prefix:Semigroup.t => Semigroup.t => Semigroup.t;
module Monoid: BsBastet.Interface.MONOID with type Monoid.t = bool;
include { ... };
module BsMonoidExtensions: { ... };
let guard: bool => Monoid.t => Monoid.t;
let power: Monoid.t => int => Monoid.t;