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