oak_vampire/ast/mod.rs
1use crate::parser::VampireElementType;
2use oak_core::tree::TypedNode;
3
4/// Vampire root node.
5#[derive(Debug, Clone)]
6pub struct VampireRoot {
7 /// The source span covered by this root node.
8 pub span: oak_core::Range<usize>,
9 /// The collection of formulas in the Vampire document.
10 pub formulas: Vec<()>,
11}