Doc.Node
module Ast : sig ... end
module Info : sig ... end
module Message : sig ... end
type t = private {
range : Lang.Range.t;
prev : t option;
ast : Ast.t option;
Ast of node
*)state : Coq.State.t;
(Full) State of node
*)diags : Lang.Diagnostic.t list;
Diagnostics associated to the node
*)messages : Message.t list;
info : Info.t;
}
val range : t -> Lang.Range.t
val state : t -> Coq.State.t
val diags : t -> Lang.Diagnostic.t list