Assertion list
anonymous function (subgroup of function ) → IsA
Results from Ascent++: 2
anonymous function → IsA → function 0.68
anonymous function → IsA → closure 0.41