page 308, paragraph 3, line 4 : twice that
if you want to really specify that that an object is known to have any type, you use top, which
-----> ^^^^^^^^^
page 308, paragraph 3, line 4 : twice that
if you want to really specify that that an object is known to have any type, you use top, which
-----> ^^^^^^^^^
Thanks, fixed.