prolog::is_rbtree/1

is_rbtree(?Term) is semidet.%% True if Term is a valid Red-Black tree.%% @tbd Catch variables.

(undocumented)

Private-func:

1. prolog::is_rbtree_1::is_rbtree/1(int ARG1)():