def begin_observed

bendvy-ecs-core@0.1.0.4 · transaction.bend:97

import bendvy-ecs-core@0.1.0.4/transaction.bend as Transaction
import Base
import bendvy-ecs-core@0.1.0.4/trace_facts.bend as TraceFacts

97# Begin a transaction with operation tracing enabled and an empty fact list.
98# Tracing observes operations; it does not strengthen rollback guarantees.
99def begin_observed(~W:Type,~E:Data,world:W) -> Tx<W,E>:
100  Tx{world,[],[],[],TraceFacts.On{[]}}

Uses (3)

Used by (0)

No other definition uses this definition.