Ast (coq-lsp.Lang.Ast)

module Name : sig ... end

module Info : sig ... end

Information about the Ast, to move to lang