package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
val string_buf : Stdlib.Buffer.t
val string_buffer : Stdlib.Buffer.t
val reset_string_buffer : unit -> unit
val get_stored_string : unit -> string
val is_in_string : bool Stdlib.ref
val wrap_string_lexer : (Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> 'a) -> Stdlib.Lexing.lexbuf -> string * Stdlib.Lexing.position * 'b
exception SyntaxError of string
val __ocaml_lex_tables : Stdlib.Lexing.lex_tables
val read : Stdlib.Lexing.lexbuf -> Ljson.token
val __ocaml_lex_read_rec : Stdlib.Lexing.lexbuf -> int -> Ljson.token
val read_string : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> Stdlib.Lexing.position
val __ocaml_lex_read_string_rec : Stdlib.Buffer.t -> Stdlib.Lexing.lexbuf -> int -> Stdlib.Lexing.position