type Symbol = { Line: int Name: string Path: string Qualified: string Kind: string Span: Span Sentence: int option Decl: int option }
FSharp.Data.Rocq
Line: int
Name: string
Path: string
Qualified: string
Kind: string
Span: Span
Sentence: int option
Decl: int option
On this page