Assertion list
hash function (subgroup of function ) → ReceivesAction
Results from Ascent++: 3
hash function → ReceivesAction → changed 0.25
hash function → ReceivesAction → performed on datum 0.25
hash function → ReceivesAction → specified 0.09