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