def vector_reader(r, leftparen):
from system.persistent_array_vector import from_pylist
lst = read_delimited_list("]", r, True)
s = from_pylist(lst)
return s
def list_reader(r, leftparen):
from system.persistent_list import EMPTY, from_pylist
lst = read_delimited_list(")", r, True)
if len(lst) == 0:
return EMPTY
s = from_pylist(lst)
return s
