Module V.I

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