これは手順を表しているのではなく、単にreturn関数のシグネチャを書いているだけでは・・・
であれば擬似言語である必要ないし、`val`使えばいい話な気がする。