[__ryan__]

They’re suggesting outputting runtime type information by emitting different code based on the type of the value passed to their hypothetical “Type.keys()” function.

[danielheath]

Ahh, that makes sense then; thanks for clarifying.