Function var

crates/kernel/src/whnf.rs:3524–3526

(i: u64)

      return self.try_reduce_string_dec_eq(e, &args);
    }

    let is_back = *addr == self.prims.string_back.addr
      || *addr == self.prims.string_legacy_back.addr;
    let is_utf8_byte_size = *addr == self.prims.string_utf8_byte_size.addr;
    let is_to_byte_array = *addr == self.prims.string_to_byte_array.addr;
    if (!is_back && !is_utf8_byte_size && !is_to_byte_array) || args.len() != 1