Function nat

crates/kernel/src/whnf.rs:3509–3511

()

      if args.len() != 2 {
        return Ok(None);
      }
      let Some((sa, sb)) = self.two_string_lit_args(&args[0], &args[1])? else {
        return Ok(None);
      };
      let joined = format!("{sa}{sb}");
      let blob_addr = Address::hash(joined.as_bytes());