( args: ReadonlyArray<Expression> )
| 646 | complexity: 1200, |
| 647 | broadcastable: false, |
| 648 | signature: '((collection<any>|number|distribution)+) -> number', |
| 649 | // A data-consuming aggregate (§3.C): result type is the numeric base |
| 650 | // with NO `| missing` arm (I6 absorption) — `number`, NOT `real`, |
| 651 | // because every arm of the wide type is reachable. An absent datum or |
| 652 | // empty input evaluates to `NaN` (`Mean([1, NaN, 3])`, `Mean([])`); |
| 653 | // infinite data keeps its limit (`Mean([1, +oo, 3])` is `+oo`); and |
| 654 | // complex data has a complex mean (`Mean([1, 1+2i])` is `1 + i`). |
| 655 | // Three named arms would be needed to say less, so the base type says |
| 656 | // it in one token. |
| 657 | // |
| 658 | // The operand carrier stays `collection<any>` — the ABSENCE-admitting |
| 659 | // top — because the §3.C rule requires `[1, Missing, 3]` to REACH this |
no test coverage detected