let mk_eq_array_bool = "eq_array_bool"