Skip to content

CrossReferences

type CrossReferences =
    {
        Externals: ExternalNode array
        Edges: Edge array
        ToOffsets: int array
        ByFrom: int array
        FromOffsets: int array
    }
Assembly FSharp.Data.Rocq

The reference graph. Edges is sorted by target, with lookup tables in both directions.

Fields

Externals: ExternalNode array

Sorted by module, name and kind.

Edges: Edge array
ToOffsets: int array

Edges[ToOffsets[n] .. ToOffsets[n + 1] - 1] target node n. Symbols number first, then externals.

ByFrom: int array

Indexes into Edges, grouped by owner.

FromOffsets: int array

ByFrom[FromOffsets[n] .. FromOffsets[n + 1] - 1] belong to owner n. Declarations number first, then files.