Module facts 

Per-file syntactic facts the parser extracts and the resolver binds: imports, references (as dotted paths) and type hints. Scope ids are rendered GlobalSymbolIds.

Structs

Args

A call’s arguments as values: positional, then name= keywords.

CallFact

FileFacts

Import

InfraRef

A queue (sqs), topic (sns) or bucket (s3) named in IaC; logical names are the short name a module expands (inference-tasks), not the full resource name.

ParamFact

Ref

ScipFacts

ScipRef

TypeHint

name has a type in scope: a parameter/variable, or self.x/this.x on a class scope.

ValueFact

Enums

ContractFact

ImportItem

RefKind

TemplatePart

TypeSource

ValueExpr

A value an expression evaluates to, as far as static analysis can tell.