 This function makes use of SML's pattern matching syntax to differentiate between non-empty list (codice_38) and empty list (codice_39) cases.For stability, the input list codice_40 is reversed before being passed to codice_36.The local-in-end syntax could be replaced with a let-in-end syntax, yielding the equivalent definition