Latch a predicate. Holds at init until pred is observed !init within scope, then flips and stays; re-arms on each scope rising edge. Outside scope, pred isn't consulted (latch holds).
init
pred
!init
scope
Latch a predicate. Holds at
inituntilpredis observed!initwithinscope, then flips and stays; re-arms on eachscoperising edge. Outsidescope,predisn't consulted (latch holds).