RosettaCodeData/Task/Increment-a-numerical-string/Rascal/increment-a-numerical-string.rascal

import String;

public str IncrNumStr(str s) = "<toInt(s) + 1>";