Ref

[<Struct>]
type Ref =
    {
        Line: int
        Span: Span
        Target: int
    }


Assembly	`FSharp.Data.Rocq`
Attributes	`[<Struct>]`

A reference with its target interned. Ref arrays are sorted by (Start, End, Line).

Fields

Line: int

Span: Span

Target: int