Method is_delta

crates/kernel/src/def_eq.rs:1295–1301

Check if a constant is delta-reducible.

(&mut self, id: &KId<M>)

    {
      self.dump_eta_trace(
        "eta-base",
        Some(&induct_id),
        num_fields,
        &t_norm,
        &base,
      );
      return Ok(true);
    }

    // Compare each field: proj(induct, i, t) ≡ s_args[params + i]