transacts

Una funzione con effetto transacts può leggere e scrivere dati, ma il rollback di tali operazioni può avvenire solo se la funzione ha anche l'effetto decides. Questo effetto è un effetto esclusivo.