package coq-lsp

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

Information about the Ast, to move to lang

type t = private {
  1. range : Range.t;
  2. name : Name.t With_range.t;
  3. kind : int;
  4. detail : string option;
  5. children : t list option;
}
val make : range:Range.t -> name:Name.t With_range.t -> kind:int -> ?detail:string -> ?children:t list -> unit -> t
OCaml

Innovation. Community. Security.