Use `procref` for FPI tutorials

オープン

#122 2025年9月15日に作成コメント 0 件リアクション 0 件担当者 1 名 @partylikeits1983 が担当を希望しています GitHub で見る

説明

### Feature description

Instead of string formatting, we should use `procref` opcode for FPI tutorials.

### Why is this feature needed?

Code clarity.

### Motivation

https://github.com/0xMiden/miden-base/pull/1883#discussion_r2349184113

この issue はまだ評価されていません。