Up
–
coq-lsp
»
Fleche
»
Progress
» Info
Module
Progress.Info
type
t
=
{
range :
Lang.Range.t
;
kind : int;
}