Function mk_array_foldl 

pub fn mk_array_foldl(f: Expr, init: Expr, arr: Expr) -> Expr

Build Array.foldl f init arr.