nixvim docs

lsp.servers.fstar

The fstar language server.

Type: submodule

Default: { }

Declared by:

• <nixvim/modules/lsp/servers>

lsp.servers.fstar.enable

Whether to enable fstar.

Type: boolean

Default: false

Example: true

Declared by:

• <nixvim/modules/lsp/servers/server.nix>

lsp.servers.fstar.package

The fstar package to use.

Alternatively, fstar should be installed on your $PATH.

Type: null or package

Default: pkgs.fstar

Declared by:

• <nixvim/modules/lsp/servers/server.nix>

lsp.servers.fstar.activate

Whether to call vim.lsp.enable() for fstar.

Type: boolean

Default: true, unless the server’s name is *

Example: false

Declared by:

• <nixvim/modules/lsp/servers/server.nix>

lsp.servers.fstar.name

The name to use for fstar. Supplied to functions like vim.lsp.enable().

Type: string or raw lua code

Default: "fstar"

Declared by:

• <nixvim/modules/lsp/servers/server.nix>

lsp.servers.fstar.settings

Configurations for fstar.

Type: attribute set of anything

Default: { }

Example:

{
  cmd = [
    "clangd"
    "--background-index"
  ];
  filetypes = [
    "c"
    "cpp"
  ];
  root_markers = [
    "compile_commands.json"
    "compile_flags.txt"
  ];
}

Declared by:

• <nixvim/modules/lsp/servers/server.nix>