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 to_range : lines:string array -> Loc.t -> Types.Range.tSpecific to Coq
val to_orange : lines:string array -> Loc.t option -> Types.Range.t option