package coq-lsp
-
coq-lsp.lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
to_offset will help to resolve a position from for example (line,col) to an offset, but in some case requires a lookup method.
val to_offset : t -> offset_table -> intval to_string : t -> string