Method recursor

lean-agentic/src/environment.rs:55–60

Create attributes for a recursor

()

    /// Create attributes for a recursor
    pub fn recursor() -> Self {
        Self {
            recursor: true,
            ..Default::default()
        }
    }
}

/// A constant declaration in the environment