Module Quasigroup.I

val (<:>) : Q.t -> Q.t -> Q.t