Module SsaSource
Import path
import python
Predicates
argument_refinement |
Holds if a |
assignment_definition |
Holds if |
attribute_assignment_refinement |
Holds if an attribute is assigned at |
attribute_deletion_refinement |
Holds if an attribute is deleted at |
deletion_definition |
Holds if |
exception_capture |
Holds if |
exception_group_capture |
Holds if |
import_star_refinement |
Holds if the |
init_module_submodule_defn |
Holds if the name of |
iteration_defined_variable |
Holds if |
method_call_refinement |
Holds if |
multi_assignment_definition |
Holds if |
parameter_definition |
Holds if |
pattern_alias_definition |
Holds if |
pattern_capture_definition |
Holds if |
test_refinement |
Holds if the set of possible values for |
with_definition |
Holds if |