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
val in_range : ?range:Types.Range.t -> t -> boolval gt_range : ?range:Types.Range.t -> t -> boolto_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