|
@@ -30,7 +30,6 @@ String function cast_e2s(a: Element) = ?primitives/cast_e2s
|
|
|
String function cast_a2s(a: Action) = ?primitives/cast_a2s
|
|
|
String function cast_v2s(a: Element) = ?primitives/cast_v2s
|
|
|
String function cast_id2s(a: Element) = ?primitives/cast_id2s
|
|
|
-Element function dict_add(a: Element, b: Element, c: Element) = ?primitives/dict_add
|
|
|
Element function dict_add_fast(a: Element, b: Element, c: Element) = ?primitives/dict_add_fast
|
|
|
Element function dict_delete(a: Element, b: Element) = ?primitives/dict_delete
|
|
|
Element function dict_delete_node(a: Element, b: Element) = ?primitives/dict_delete_node
|
|
@@ -50,7 +49,6 @@ Integer function integer_addition(a: Integer, b: Integer) = ?primitives/integer_
|
|
|
Integer function integer_subtraction(a: Integer, b: Integer) = ?primitives/integer_subtraction
|
|
|
Integer function integer_multiplication(a: Integer, b: Integer) = ?primitives/integer_multiplication
|
|
|
Integer function integer_division(a: Integer, b: Integer) = ?primitives/integer_division
|
|
|
-Boolean function integer_gt(a: Integer, b: Integer) = ?primitives/integer_gt
|
|
|
Boolean function integer_lt(a: Integer, b: Integer) = ?primitives/integer_lt
|
|
|
Element function list_insert(a: Element, b: Element, c: Integer) = ?primitives/list_insert
|
|
|
Element function list_delete(a: Element, b: Integer) = ?primitives/list_delete
|