Module source_facts 

Mounted read-side input for Python declaration consumers.

Structs

PythonFileSourceFacts

PythonModuleGlobalSourceFacts

Syntax-only proof candidates for module-level initializer values.

Traits

PythonSourceFactProvider

Functions

python_module_global_source_facts

Collect bounded, per-file module-binding syntax facts.