Когда функция имеет эффект transacts, это означает, что она может читать и записывать данные, но эти действия можно откатить, если функция также имеет эффект decides. Этот эффект является исключительным эффектом.
Функция, в которой не указан исключительный эффект, может читать и записывать данные, но не может быть откачена.