求助有关attribute的问题 attribute, 求助

cooking12

以下是我从arith库中截取的代码

function "+"(L: UNSIGNED; R: UNSIGNED) return UNSIGNED;
attribute builtin_subprogram of
"+"[UNSIGNED, UNSIGNED return UNSIGNED]: function is "stdarith_plus_uuu";

我不太理解此段代码的含义，尤其是最后的"stdarith_plus_uuu";存在的作用是什么？