Assertion list
output parameter (subgroup of parameter ) → DefinedAs
Results from Ascent++: 1
output parameter → DefinedAs → the handle data type 0.25