The signature of `;` where it an operator is more like (;) : unit -> 'a -> 'a And you can see it as a kind of sequencing operator, since it returns the value

The signature of `;` where it an operator is more like (;) : unit -> 'a -> 'a And you can see it as a kind of sequencing operator, since it returns the value of the right hand side unchanged.