|
@@ -110,6 +110,7 @@ String function dict_to_string(dict : Element)
|
|
|
Element function set_overlap(sa : Element, sb : Element)
|
|
|
Element function set_equality(sa : Element, sb : Element)
|
|
|
Element function set_difference(sa : Element, sb : Element)
|
|
|
+Void function set_subtract(sa : Element, sb : Element)
|
|
|
Element function dict_eq(da : Element, db : Element)
|
|
|
Element function dict_copy(dict : Element)
|
|
|
Element function set_to_list(s : Element)
|