Assertion list
function (primary) → DefinedAs
Results from Ascent++: 1
function → DefinedAs → class 0.52