let
mk_eq_urecord_bool =
"eq_union_bool"