Skip to content

GlobRef

type GlobRef =
    {
        Line: int
        Span: Span
        Module: string
        Path: string
        Name: string
        Kind: string
    }
Assembly FSharp.Data.Rocq

A reference line: R<start>:<end> <module> <path> <name> <kind>.

Fields

Line: int
Span: Span
Module: string
Path: string
Name: string
Kind: string