(to, value)
| 1165 | } |
| 1166 | ts.sum = sum; |
| 1167 | function append(to, value) { |
| 1168 | if (value === undefined) |
| 1169 | return to; |
| 1170 | if (to === undefined) |
| 1171 | return [value]; |
| 1172 | to.push(value); |
| 1173 | return to; |
| 1174 | } |
| 1175 | ts.append = append; |
| 1176 | function combine(xs, ys) { |
| 1177 | if (xs === undefined) |