Assertion list
standard library (subgroup of library ) → ReceivesAction
Results from Ascent++: 1
standard library → ReceivesAction → described in the extended descr… 0.34