Up
–
coq-lsp
»
Lang
» With_range
Module
Lang.With_range
type
'a t
=
{
range :
Range.t
;
v :
'a
;
}