See Original text in context
Whatever the Signature's return constraint is:
:($a, $b --> Int).returns # OUTPUT: «(Int)»
