Cuando una función tiene el efecto transacts, significa que la función puede leer y escribir datos, pero esas acciones pueden revertirse si la función también tiene el efecto decides. Este efecto es un efecto exclusivo.
Una función sin efecto exclusivo especificado, puede leer y escribir datos, pero no se puede revertir.