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_utils
SMTParser
make_pysmt_const_from_type
claripy
ast
backends
frontend_mixins
frontends
utils
vsa
annotation
backend_manager
backend_object
balancer
bv
debug
errors
fp
frontend
operations
ops
simplifications
solvers
strings
BV
downsize
reset
__version__
l
_backend_z3
claripy.smtlib_utils
Undocumented