type GlobRef = { Line: int Span: Span Module: string Path: string Name: string Kind: string }
FSharp.Data.Rocq
A reference line: R<start>:<end> <module> <path> <name> <kind>.
R<start>:<end> <module> <path> <name> <kind>
Line: int
Span: Span
Module: string
Path: string
Name: string
Kind: string
On this page