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
Checking targets, this specifies what we expect check to reach
val reached : range:Types.Range.t -> (int * int) -> boolreached ~range (line,col) checks if (line,col) are before range's end.