Module V.I

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