Ascent++ | required to manipulate forward a+b function

Assertion list for term "required to manipulate forward a+b function".

Results from Ascent++: 1

timing → ReceivesAction → required to manipulate forward a+b function

0.25