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.