Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Info : sig ... endmodule Message : sig ... endtype t = private {range : Types.Range.t;ast : Coq.Ast.t option;(*Ast of node
*)state : Coq.State.t;(*(Full) State of node
*)diags : Types.Diagnostic.t list;(*Diagnostics associated to the node
*)messages : Message.t list;info : Info.t;
}val range : t -> Types.Range.tval state : t -> Coq.State.tval diags : t -> Types.Diagnostic.t list