1.1 --- a/lib/native.py Mon Oct 31 21:50:41 2016 +0100
1.2 +++ b/lib/native.py Mon Oct 31 21:53:38 2016 +0100
1.3 @@ -48,14 +48,14 @@
1.4 def _str_len(self): pass
1.5 def _str_nonempty(self): pass
1.6
1.7 -def _list_init(args): pass
1.8 +def _list_init(size): 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 _list_to_tuple(l): pass
1.14
1.15 -def _tuple_init(args): pass
1.16 +def _tuple_init(args, size): pass
1.17 def _tuple_len(self): pass
1.18 def _tuple_element(self, index): pass
1.19