Method join

crates/ixon/src/assumption_tree.rs:99–101

(left: Self, right: Self)

  /// Combine two existing subtrees into a new free-form node in O(1).
  #[inline]
  pub fn join(left: Self, right: Self) -> Self {
    AssumptionTree::Node(Box::new(left), Box::new(right))
  }

  // ---- Queries ----