Module Loop.I

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