Module Disjunctive.Magma

type t = bool
val append : t -> t -> t