Up
–
coq-lsp
»
Fleche
»
Config
» Unicode_completion
Module
Config.Unicode_completion
type
t
=
|
Off
|
Internal_small
|
Normal
|
Extended