V.I
val (<:>) : Bastet.Bool.Disjunctive.Medial_Magma.t -> Bastet.Bool.Disjunctive.Medial_Magma.t -> Bastet.Bool.Disjunctive.Medial_Magma.t