let mk_eq_record = "eq_struct"