Function lean_expr_to_zexpr

crates/kernel/src/ingress.rs:2186–2207

(
  expr: &LeanExpr,
  param_names: &[Name],
  intern: &mut InternTable<Meta>,
  name_to_ixon_addr: Option<&DashMap<Name, Address>>,
  aux_n2a: Option<&DashMap<Name, Address>>,
)

      IxonMutConst::Indc(ind) => {
        results.extend(ingress_muts_inductive(
          ind,
          &self_id,
          member_meta,
          ixon_env,
          names,
          name_to_addr,
          &block_constant,
          block_id.clone(),
          i as u64,
          intern,
          stats,
        )?);
      },
      IxonMutConst::Recr(rec) => {
        results.extend(ingress_recursor(
          rec,
          self_id,
          member_meta,
          ixon_env,
          names,
          name_to_addr,
          &block_constant.sharing,
          &block_constant.refs,
          &block_constant.univs,
          block_id.clone(),