Assertion list for term "cast in form".

Results from Ascent++: 1
concrete ReceivesActioncast in form 0.29