let
array_type pt =
Fol
.
PTexternal
([pt] ,
"farray"
)