let
mk_eq_array_bool =
"eq_array_bool"