let
data_of_int (i:
Ctypes
.c_int) =
F
.e_app1 ((
Pretty_utils
.sfprintf
"data_of_%a"
)
Ctypes
.pp_int i)