Module Semigroup.I

let (<:>): S.t => S.t => S.t;