Il suffit lorsqu'on prend une copie de mettre le champ copie à None:
class une_sauvegarde = 
    object (self : 'mytype)
      inherit sauvegarde
      method sauve = copie <- Some {< copie = None >}
    end;;
Si une seule copie est nécessaire, la version ci-dessus libère les anciennces versions qui peuvent être récupérées par le GC. Dans la version précédentes toutes les versions intermédiaires restaient vivantes aussi longtemps que la version de travail.