def to_abstract_test(self, lst: list): if lst == []: return empty assert len(lst) == 1 return listof(self(lst[0]))
def test_to_abstract_list(): assert to_abstract([]) is empty assert to_abstract([1, 2, 3]) is listof(S(t=ty.Int[64]))
def to_abstract_test(self, lst: list): if lst == []: return empty assert len(lst) == 1 return listof(self(lst[0]))
def test_to_abstract_list(): assert to_abstract([]) is empty assert to_abstract([1, 2, 3]) is listof(S(t=ty.Int[64]))