let
mk_eq_record =
"eq_struct"