Up
–
coq-lsp
»
Lang
»
Ast
» Name
Module
Ast.Name
type
t
=
string option