Disjunctive.Monoid
type t
= Bool.Disjunctive.Semigroup.t option
val append : t -> t -> t
val empty : t