is_rbtree(?Term) is semidet.%% True if Term is a valid Red-Black tree.%% @tbd Catch variables.
(undocumented)
1. prolog::is_rbtree_1::is_rbtree/1(int ARG1)():