Ascent++ | terminated for reason

Ascent++

Assertion list for term "terminated for reason".

Results from Ascent++: 1

membership (aspect of union) → ReceivesAction → terminated for reason 0.55

This work is licensed under a Creative Commons Attribution 4.0 International License. Accessibility. Imprint. Privacy.