Ascent++
Search
Assertion list
for term "used to store state information".
Results from
Ascent++
:
1
latch
→
ReceivesAction
→
used to store state information
0.52