- array-fold kons knil arrayprocedure
If we use the defining relations for fold over lists from SRFI 1:
(fold kons knil lis) = (fold kons (kons (car lis) knil) (cdr lis)) (fold kons knil '()) = knil
then (array-fold kons knil array) returns
(fold kons knil (array->list array))
It is an error if array is not an array, or if kons is not a procedure.