Function count_expr_nodes

crates/ffi/src/refcount.rs:328–338

(expr: &LeanIxExpr<impl LeanRef>)

  n_threads: usize,
) -> LeanOwned {
  fn count_expr_nodes(expr: &LeanIxExpr<impl LeanRef>) -> u64 {
    let ctor = expr.as_ctor();
    match ctor.tag() {
      5 => {
        // app
        1 + count_expr_nodes(&LeanIxExpr(ctor.get(0)))
          + count_expr_nodes(&LeanIxExpr(ctor.get(1)))
      },
      _ => 1,
    }
  }

  let shared = LeanShared::new(arr.inner().to_owned_ref());