|
|
@@ -18,10 +18,10 @@ Boolean function value_neq(a : Element, b : Element):
|
|
|
return bool_not(value_eq(a, b))!
|
|
|
|
|
|
Boolean function integer_gt(a : Element, b : Element):
|
|
|
- return bool_or(integer_lt(a, b), value_eq(a, b))!
|
|
|
+ return bool_not(bool_or(integer_lt(a, b), value_eq(a, b)))!
|
|
|
|
|
|
Boolean function float_gt(a : Element, b : Element):
|
|
|
- return bool_or(float_lt(a, b), value_eq(a, b))!
|
|
|
+ return bool_not(bool_or(float_lt(a, b), value_eq(a, b)))!
|
|
|
|
|
|
Element function dict_add(a : Element, b : Element, c : Element):
|
|
|
log("Doing dict_add for " + cast_value(b))
|
|
|
@@ -66,6 +66,7 @@ Element function set_add_node(a : Element, b : Element):
|
|
|
return a!
|
|
|
|
|
|
Element function set_pop(a : Element):
|
|
|
+ log("Exec set_pop")
|
|
|
if (integer_gt(set_len(a), 0)):
|
|
|
Element edge
|
|
|
Element result
|
