Method nat_offset

crates/kernel/src/whnf.rs:1149–1178

(
    &mut self,
    e: &KExpr<M>,
    depth: u16,
  )

      }

      // Nat primitive reduction
      if family == PrimFamily::Nat
        && let Some(reduced) =
          self.try_reduce_nat_with_succ_mode(&cur, nat_succ_mode)?
      {
        cur = reduced;
        continue;
      }

      // Native/string primitives must run before projection-definition
      // rewriting. In the compiled environment, wrappers such as
      // `Subtype.val` and `String.toByteArray` are projection definitions;
      // once rewritten to `Prj`, the cheap primitive recognizers no longer
      // see the original head.
      if family == PrimFamily::Native
        && let Some(reduced) = self.try_reduce_native(&cur)?
      {
        cur = reduced;
        continue;
      }

      // String literal primitives.
      if family == PrimFamily::Str
        && let Some(reduced) = self.try_reduce_string(&cur)?
      {
        cur = reduced;
        continue;
      }

      if flags.is_full()
        && let Some(reduced) = self.try_reduce_projection_definition(&cur)?
      {
        cur = reduced;