let mk_eq_record_bool = "eq_struct_bool"