Function apps_ae

crates/kernel/src/whnf.rs:3307–3312

(mut f: AE, args: &[AE])

      return Ok(Some(self.nat_literal(0)));
    }

    let width_val = self.try_eval_nat_value_for_pred(&width)?;
    let Some(width) = width_val.and_then(|w| w.to_u64()) else {
      return Ok(None);
    };

    const REDUCE_BITVEC_WIDTH_MAX: u64 = 1 << 24;
    if width > REDUCE_BITVEC_WIDTH_MAX {
      return Ok(None);