Assertion list for term "provided for the typeparameter".
Results from Ascent++: 1
value (aspect of parameter) → ReceivesAction → provided for the typeparameter 0.31