Record updates on OCaml types with private fields
Record updates on OCaml types with private fields Goal: clarify whether updating a non-private field is permitted when the record type’s signature declares another field private . OCaml’s private modifier blocks external mutation of that field, but it is unclear whether updating a sibling field is rejected because the operation copies the private field into
ocaml