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