示例#1
0
文件: io.py 项目: rfw/pollux
def read_in_(env, prompt: types.List):
    return types.List.from_python_str(input(prompt.to_python_str()))
示例#2
0
文件: io.py 项目: rfw/pollux
def write_out_(env, xs: types.List):
    sys.stdout.write(xs.to_python_str())
    return id