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