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]))