Method new

lean-agentic/src/environment.rs:217–223

Create a new empty environment

()

impl Environment {
    /// Create a new empty environment
    pub fn new() -> Self {
        Self {
            declarations: HashMap::new(),
            inductives: HashMap::new(),
            constructor_to_ind: HashMap::new(),
        }
    }

    /// Add a declaration to the environment
    pub fn add_decl(&mut self, decl: Declaration) -> crate::Result<()> {