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