Function rs_roundtrip_ix_expr

crates/ffi/src/ix/expr.rs:329–335

(
  expr_ptr: LeanIxExpr<LeanBorrowed<'_>>,
)

#[cfg(feature = "test-ffi")]
#[unsafe(no_mangle)]
pub extern "C" fn rs_roundtrip_ix_expr(
  expr_ptr: LeanIxExpr<LeanBorrowed<'_>>,
) -> LeanIxExpr<LeanOwned> {
  let expr = expr_ptr.decode();
  let mut cache = LeanBuildCache::new();
  LeanIxExpr::build(&mut cache, &expr)
}