let
e_int k =
Fol
.e_int k