let
union_field_type pt =
Fol
.
PTexternal
([pt] ,
"ufield"
)