ImplicationConstraint class
Special methods
- def __repr__(self, /) -> str
Properties
- bad: bool get
- body: Constraint get
- kind: ConstraintKind get
- predicate get
- syntax get
Search for modules, classes, functions and other
symbols. You can omit any prefix from the symbol path; adding a .
suffix lists all members of given symbol.
Use ↓ / ↑ to navigate through the list, Enter to go. Tab autocompletes common prefix, you can copy a link to the result using ⌘ L while ⌘ M produces a Markdown link.