Method zero

lean-agentic/src/level.rs:116–118

Get the zero level ID

(&mut self)

    /// Get the zero level ID
    pub fn zero(&mut self) -> LevelId {
        self.intern(Level::Zero)
    }

    /// Create a concrete level
    pub fn constant(&mut self, n: u32) -> LevelId {