let
int_of_data (i:
Ctypes
.c_int) =
F
.e_app1 ((
Pretty_utils
.sfprintf
"%a_of_data"
)
Ctypes
.pp_int i)