Indeed, mutable variants were dropped in the transition between Caml Light and OCaml, in part because the syntax to manipulate them was so awkward (pattern-matching on a mutable field would make the pattern identifier a lvalue, yumm...).
The current ways to express mutability are through mutable record fields (which have a proper field mutation syntax), or references int ref
(which are defined as one-field mutable records).