let
prop_type =
Fol
.
PTexternal
([] ,
"prop"
)