package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Completion.UnicodeSource

Module that enables LaTeX-like completion for unicode symbols

Sourcemodule Mode : sig ... end
Sourceval default_commit_chars : string list
Sourcetype t = {
  1. enabled : Mode.t;
  2. commit_chars : string list;
    (*

    Characters to use for accepting/commiting a completion during unicode completion

    *)
}
Sourceval default : t