oak-vampire 0.0.11

High-performance incremental Vampire parser for the oak ecosystem with flexible configuration.
Documentation 
1
2
3
4
5
6
7
8
9
10
11

use crate::parser::VampireElementType;
use oak_core::tree::TypedNode;

/// Vampire root node.
#[derive(Debug, Clone)]
pub struct VampireRoot {
    /// The source span covered by this root node.
    pub span: oak_core::Range<usize>,
    /// The collection of formulas in the Vampire document.
    pub formulas: Vec<()>,
}