Crate oak_coq 

Re-exports

pub use crate::ast::CoqRoot;

pub use crate::builder::CoqBuilder;

pub use crate::highlighter::CoqHighlighter;

pub use crate::lexer::CoqLexer;

pub use crate::lsp::CoqLanguageService;

pub use crate::parser::CoqParser;

Modules

ast

builder

highlighter

kind

lexer

lsp

mcp

parser

Structs

CoqLanguage

Implementation of the Coq language for the OAK parsing framework.