let mk_eq_urecord = "eq_union"