transacts

Gdy funkcja ma efekt transacts, oznacza to, że funkcja może odczytywać i zapisywać dane, ale te działania mogą być wycofane, jeśli funkcja ma również efekt decides. Ten efekt jest efektem wyłącznym.