|
@@ -108,5 +108,5 @@ Element function dict_copy(dict : Element)
|
|
|
Element function set_to_list(s : Element)
|
|
Element function set_to_list(s : Element)
|
|
|
Element function create_tuple(a : Element, b : Element)
|
|
Element function create_tuple(a : Element, b : Element)
|
|
|
Void function dict_overwrite(a : Element, b : Element, c : Element)
|
|
Void function dict_overwrite(a : Element, b : Element, c : Element)
|
|
|
-Element function set_merge(sa : Element, sb : Element)
|
|
|
|
|
|
|
+Void function set_merge(sa : Element, sb : Element)
|
|
|
Element function make_reverse_dictionary(dict : Element)
|
|
Element function make_reverse_dictionary(dict : Element)
|