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
module Point : sig ... endATTENTION: character is a Unicode caracter position, thus from Coq that usually requires conversion, as it will report the column offset in bytes. But offset is in bytes for now, as our downstream clients prefer this format.
module Range : sig ... endmodule Diagnostic : sig ... end