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