package coq-lsp

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Astdump_plugin.MainSource

module Lsp = Fleche_lsp
Sourceval pretty_print : bool
Sourceval pp_json : Stdlib.Format.formatter -> Yojson.Safe.t -> unit
Sourceval pp_ast_json : Stdlib.Format.formatter -> Fleche.Doc.Node.Ast.t -> unit
Sourceval pp_sexp : Stdlib.Format.formatter -> Sexplib.Sexp.t -> unit
Sourceval pp_ast_sexp : Stdlib.Format.formatter -> Fleche.Doc.Node.Ast.t -> unit
Sourceval pw : (Stdlib.Format.formatter -> 'a -> unit) -> Stdlib.Format.formatter -> 'a -> unit
Sourceval dump_asts : out_file:string -> (Stdlib.Format.formatter -> 'a -> unit) -> 'a list -> unit
Sourceval dump_ast : io:Fleche__Io.CallBack.t -> token:'a -> doc:Fleche.Doc.t -> unit
Sourceval main : unit -> unit
OCaml

Innovation. Community. Security.