Ascent++
Search
Assertion list
for term "interpreted in contract".
Results from
Ascent++
:
1
condition
→
ReceivesAction
→
interpreted in contract
0.41