source-academy/js-slang

Source §3 documentation: array_length runs in O(1)

Closed this issue · 0 comments

martin-henz commented

that's currently not specified in the documentation:
https://docs.sourceacademy.org/source_3/global.html#array_length