Up
–
coq-lsp
»
Lsp
»
Base
» Params
Module
Base.Params
type
t
=
(string *
Yojson
.Safe.t)
list