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