Assertion list for term "bound to user-defined datatype".

Results from Ascent++: 1
default ReceivesActionbound to user-defined datatype 0.25