How to create a copy of a record type with mutable fields

You could list just one of the fields

  (* make a copy *)
  let savedTio = { tio with some_field = tio.some_field } in
4 Likes