예제 #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