Method default

lean-agentic/src/unification.rs:49–51

()

impl Default for Substitution {
    fn default() -> Self {
        Self::new()
    }
}

/// A unification constraint