(: Name: statictyp-xqupd-57 :) (: Description: Evaluation of static typing feature with transform expression. :) (: XUTY0013 :) copy $x := (, ) modify () return $x