FileGraph

type FileGraph =
    {
        Requires: (int * int) array
        ExternalRequires: (int * string) array
        References: FileReference array
        ExternalReferences: ExternalFileReference array
    }


Assembly	`FSharp.Data.Rocq`

Dependencies between files, as recorded in .glob files. Every array is sorted.

Fields

Requires: (int * int) array

Required files, as pairs of indexes into RocqProject.Files.

ExternalRequires: (int * string) array

Required modules outside the project, as an index into RocqProject.Files and a module.

References: FileReference array

ExternalReferences: ExternalFileReference array