Up
–
coq-lsp
»
Fleche
»
Perf
» Sentence
Module
Perf.Sentence
type
t
=
{
range :
Lang.Range.t
;
info :
Info.t
;
}