let mk_eq_array = "eq_array"