Module model 

Structs

CallLabel

CallNode

CallSite

CallSiteId

DispatchCandidate

FunctionInfo

LanguageFact

LanguageId

SemanticCallGraph

SourceSpan

SymbolId

Enums

CallRelation

CallSyntax

CallTarget

DispatchEvidence

Why a candidate set is justified when it is complete.

DispatchResolution

How completely a language backend resolved an indirect call site.

UnresolvedReason

Machine-readable causes for an unresolved or partially resolved call.

Type Aliases

FileAnalysis

Compatibility name for the per-file graph fragment returned by source adapters. Project backends return the same language-neutral graph shape.

NodeId

Stable identity of a semantic definition inside one analyzed program.