Method instance

lean-agentic/src/environment.rs:47–52

Create attributes for a type class instance

()

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

    /// Create attributes for a recursor
    pub fn recursor() -> Self {