[ File ] eliminà

☞ x ≔ File novu: (Situazione di u fugliale /tmp: ‘a.txt’).
x scrive: ‘abc’.
✎ scrive: x esiste, stop.
x eliminà.
✎ scrive: x esiste, stop.
Hè vera
False