Function mk_array_set 

pub fn mk_array_set(arr: Expr, idx: Expr, val: Expr) -> Expr

Build Array.set arr idx val.