← All docs
array_product() — internals
Compiler internals for array_product(): lowering path, type checks, and runtime helpers.
array_product() — internals
Where it lives
- Signature:
src/builtins/array/array_product.rs - Lowering:
src/codegen/lower_inst/builtins/arrays.rs:55 (lower_array_product) - Function symbol:
lower_array_product()
Lowering notes
- Lowers
array_product()over supported indexed-array payloads.
Runtime helpers
The following runtime helpers are referenced:
__rt_array_product
Signature summary
function array_product(array $array): int
What the type checker enforces
- Arity: takes exactly 1 argument.
Eval interpreter (magician)
- Declaration:
crates/elephc-magician/src/interpreter/builtins/array/array_product.rs(eval_builtin!) - Dispatch hooks:
direct,values