pub fn array_empty(array: Expr) -> Expr
returns true for an empty array or false for a non-empty array.