Crate oak_vampire 

Re-exports

pub use crate::ast::VampireRoot;

pub use crate::highlighter::VampireHighlighter;

pub use crate::language::VampireLanguage;

pub use crate::lexer::VampireLexer;

pub use crate::lsp::VampireLanguageService;

pub use crate::parser::VampireParser;

pub use crate::mcp::serve_vampire_mcp;

Modules

ast

Vampire Abstract Syntax Tree (AST) Module

highlighter

kind

Oak Vampire Parser

language

lexer

lsp

mcp

parser

Structs

VampireBuilder

Vampire 语言的 AST 构建器

VampireFormatter

Vampire 语言的格式化器