oak_lean/ast/
mod.rs

1#![doc = include_str!("readme.md")]
2use core::range::Range;
3#[cfg(feature = "serde")]
4use serde::{Deserialize, Serialize};
5
6/// Lean 根节点
7#[derive(Debug, Clone, PartialEq)]
8#[cfg_attr(feature = "serde", derive(Serialize, Deserialize))]
9pub struct LeanRoot {
10    #[cfg_attr(feature = "serde", serde(with = "oak_core::serde_range"))]
11    pub range: Range<usize>,
12}
13
14impl LeanRoot {
15    pub fn new(range: Range<usize>) -> Self {
16        Self { range }
17    }
18}

oak_lean/ast/mod.rs

oak_lean/ast/
mod.rs