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