let
bool_type =
Fol
.
PTbool