true
, Key is added to Set. If Key
is in Set, New is unified to false
.
It can be used for many purposes:
add_nb_set(+, +, false) | Test membership |
add_nb_set(+, +, true) | Succeed only if new member |
add_nb_set(+, +, Var) | Succeed, binding Var |
true
, Key is added to Set. If Key
is in Set, New is unified to false
.
It can be used for many purposes:
add_nb_set(+, +, false) | Test membership |
add_nb_set(+, +, true) | Succeed only if new member |
add_nb_set(+, +, Var) | Succeed, binding Var |