Module V.I

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