pub fn array_has(haystack_array: Expr, element: Expr) -> Expr
returns true, if the element appears in the first array, otherwise false.