Assertion list for term "provided with correct signature".
Results from Ascent++: 1
method (aspect of interface) → ReceivesAction → provided with correct signature 0.41