In Project(s) select all invert selection
Help
Did you mean (for external): is_ptr_type is_under_ref vector_ref str_ref is_proof
Your search defs:is_ptr_or_ref did not match any files. Suggestions: