rb_in(?Key, ?Val, +Tree) is nondet.%% True if Key-Val appear in Tree. Uses indexing if Key is bound.
(undocumented)
1. prolog::rb_in_3::rb_in/3(int ARG1, int ARG2, int ARG3)():