GlobDef

type GlobDef =
    {
        Line: int
        Span: Span
        Path: string
        Name: string
        Kind: string
    }


Assembly	`FSharp.Data.Rocq`

A definition line: <kind> <start>:<end> <path> <name>.

Fields

Line: int

Span: Span

Path: string

Name: string

Kind: string