core :: Sys :: avg_arr_len
# Compute the average array length. fun avg_arr_len: Float do var total = 0 var sum = 0 for i in arr_len.keys do total += arr_len[i] sum += arr_len[i] * i end return sum.to_f / total.to_f end