let mk_eq_urecord_bool = "eq_union_bool"