let
struct_field_type pt =
Fol
.
PTexternal
([pt] ,
"field"
)