The following code example defines a recursive function sum that accepts one argument xs.
والمثال التالي للشفرة يحدد قيم دالة متكررة تقبل برهانا واحدا xs.