Assertion list for term "specified in the type information".
Results from Ascent++: 1
parameter (aspect of function) → ReceivesAction → specified in the type information 0.25