oz - Oz でリスト内の個々の番号をスキャンする

Question

私は Oz の学習に取り組んでいますが、公式ドキュメント以外のオンライン リソースがほとんどないため、機能するパーティション関数を作成するためにリストをスキャンする方法を見つけるのに本当に苦労しています。この例では、リストの最初の桁を返そうとしています。どうすればいいですか？

declare

fun {Partition ?X}
   case X of nil then nil
   else
      {Show "HELLO!"}
      RETURN FIRST DIGIT OF X HERE?
   end
end

in
{Show {Partition [5 1 7 3 4 6 5]}}