Module V.I

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