let dummy_type = Fol.PTexternal ([] , "dummy")