let
int_of_bool e =
Fol
.
Tapp
(
"int_of_bool"
, [e])