Up
–
coq-lsp
»
Coq
»
Workspace
» Flags
Module
Workspace.Flags
type
t
=
private
{
indices_matter : bool;
impredicative_set : bool;
}