Search bar offers the following options:
+foo bar -baz
foo*
+qname:twisted.mail.* +search
Possible fields: 'name', 'qname' (fully qualified name), 'docstring', and 'kind'. Last two fields are only applicable if "search in docstrings" is enabled.
foo~1
Results provided by Lunr.js
smtlib_script_dumper_mixin
SMTLibScriptDumperMixin
l
frontend_mixins
composited_cache_mixin
concrete_handler_mixin
constraint_deduplicator_mixin
constraint_expansion_mixin
constraint_filter_mixin
constraint_fixer_mixin
debug_mixin
eager_resolution_mixin
eval_string_to_ast_mixin
model_cache_mixin
sat_cache_mixin
simplify_helper_mixin
simplify_skipper_mixin
solve_block_mixin
claripy.frontend_mixins.smtlib_script_dumper_mixin
claripy
Undocumented