Function mk_array_empty 

pub fn mk_array_empty(elem_ty: Expr) -> Expr

Build Array.empty for a given element type (returns Array α 0).