|
@@ -68,6 +68,7 @@ def bootstrap():
|
|
"list_delete": ["Element", "Element", "Integer"],
|
|
"list_delete": ["Element", "Element", "Integer"],
|
|
"list_len": ["Integer", "Element"],
|
|
"list_len": ["Integer", "Element"],
|
|
"dict_add": ["Element", "Element", "Element", "Element"],
|
|
"dict_add": ["Element", "Element", "Element", "Element"],
|
|
|
|
+ "dict_add_fast": ["Element", "Element", "Element", "Element"],
|
|
"dict_delete": ["Element", "Element", "Element"],
|
|
"dict_delete": ["Element", "Element", "Element"],
|
|
"dict_delete_node": ["Element", "Element", "Element"],
|
|
"dict_delete_node": ["Element", "Element", "Element"],
|
|
"dict_read": ["Element", "Element", "Element"],
|
|
"dict_read": ["Element", "Element", "Element"],
|