let
mk_eq_urecord =
"eq_union"