prolog::ord_add_element/3¶

@ored ord_insert(+Set1, +Element, ?Set2)% ord_add_element(+Set1, +Element, ?Set2)% is the equivalent of add_element for ordered sets. It should give% exactly the same result as merge(Set1, [Element], Set2), but a bit% faster, and certainly more clearly.

(undocumented)

Private-func:¶

1. prolog::ord_add_element_3::ord_add_element/3(int ARG1, int ARG2, int ARG3)():