let
mk_eq_array =
"eq_array"