package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module File_context.PointSource

Sourcetype t = Lang.Point.t = {
  1. line : int;
  2. character : int;
  3. offset : int;
}
Sourceval empty : t