Home > klara-0.6.3

klara API Documentation Modules Classes Names

search in docstrings

Search bar offers the following options:

Term presence. The below example searches for documents that must contain “foo”, might contain “bar” and must not contain “baz”: +foo bar -baz
Wildcards. The below example searches for documents with words beginning with “foo”: foo*
Search in specific fields. The following search matches all objects in "twisted.mail" that matches “search”: +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.
Fuzzy matches. The following search matches all documents that have a word within 1 edit distance of “foo”: foo~1

Results provided by Lunr.js

Package contract

Modules

config
solver
__main__

Package klara

Modules

common
contract
core
klara_z3
scripts
cli
version

Functions

initialize
parse
parse_node

Variables

MANAGER

`klara.contract`

package documentation

(source)

Undocumented

Module	`config`	Undocumented
Module	`solver`	Undocumented
Module	`__main__`	Undocumented

API Documentation for klara, generated by pydoctor 22.7.0 at 2022-08-21 22:36:55.