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