函数sqrt Sqr abs red succ trunc的意思
问题描述：
函数sqrt Sqr abs red succ trunc的意思
答
sqrt开平方 sqr平方 abs取绝对值 succ后继 trunc截尾
red是什么我不知道（有么?）(是不是pred啊 pred前驱)