oak_lean/ast/
mod.rs

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

oak_lean/ast/mod.rs

oak_lean/ast/
mod.rs