As the Coq version changes, the AST provided by Coq also changes. We should support the same versions supported by coq-lsp. To do so, a parameter to define what is the Coq version to be used in the class CoqFile should be implemented. As the parameter changes, we should handle the AST accordingly.
As the Coq version changes, the AST provided by Coq also changes. We should support the same versions supported by coq-lsp. To do so, a parameter to define what is the Coq version to be used in the class
CoqFileshould be implemented. As the parameter changes, we should handle the AST accordingly.