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 | Yes of Types.Range.t(*Location of the last token in the document
*)| Stopped of Types.Range.t(*Location of the last valid token
*)| Failed of Types.Range.t(*Critical failure, like an anomaly
*)