transacts

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.