Rascalで文字列を大文字にします

Question

どのように私はRascalで文字列を大文字にすることができますか？

文字列ライブラリのドキュメントでは、文字列を大文字にする方法は見つかりません。

http：// Tutor.rascal-mpl.org / rascal / rascal.html＃/ Rascal /式/値/文字列/ string.html

Answer 1

toUpperCaseライブラリでString関数を使用する必要があります。

http：//tutor.rascal-mpl.org/rascal/rascal.html#/rascal/libraries/prelude/string/touppercase/touppercase.html

例えば：

rascal>import String;
ok

rascal>toUpperCase("hEllO WOrlD");
str: "HELLO WORLD"

.