Use `procref` for FPI tutorials

Ouverte

#122 ouverte le 15/9/2025 0 commentaires 0 réactions 1 personne assignée Réclamée par @partylikeits1983 Voir sur GitHub

Description

### 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

Cette issue n'a pas encore été évaluée.