Python List.to_python_str примеры использования

Пример #1

Файл: io.py Проект: rfw/pollux

def read_in_(env, prompt: types.List):
    return types.List.from_python_str(input(prompt.to_python_str()))

Пример #2

Файл: io.py Проект: rfw/pollux

def write_out_(env, xs: types.List):
    sys.stdout.write(xs.to_python_str())
    return id