1.1 --- a/lib/native.py Mon Nov 21 22:56:52 2016 +0100
1.2 +++ b/lib/native.py Tue Nov 22 01:28:58 2016 +0100
1.3 @@ -52,10 +52,14 @@
1.4 def _str_nonempty(self): pass
1.5
1.6 def _list_init(size): pass
1.7 +def _list_append(self, value): pass
1.8 +def _list_concat(self, other): pass
1.9 def _list_len(self): pass
1.10 def _list_nonempty(self): pass
1.11 def _list_element(self, index): pass
1.12
1.13 +def _buffer_str(self): pass
1.14 +
1.15 def _list_to_tuple(l): pass
1.16
1.17 def _tuple_init(args, size): pass