Module Semigroup.I

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