let
none =
Fol
.
Tapp
(
"None"
, [])