Skip to content

Symbol

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

Fields

Line: int
Name: string
Path: string
Qualified: string
Kind: string
Span: Span
Sentence: int option
Decl: int option