• Clarification on precondition

Question related to mission Monkey Typing

 

Hi!

For translation purpose:

To my view, first precondition seems incorrect and a bit misleading.

0 < text <= 256

I suppose it means:

0 < len(text) <= 256

Or maybe:

all(0 < ord(char) <= 256 for char in text)

Which one is correct?