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
type t = private {raw : string;(*That's the original, unprocessed document text
*)text : string;(*That's the text to be sent to the prover, already processed, encoded in UTF-8
*)last : Types.Point.t;(*Last point of
*)text, you can derive n_lines from herelines : string Stdlib.Array.t;(*
*)textsplit in lines
}