let
data_of_integer (x :
Formula
.integer
F
.term) : data =
Data
(
F
.wrap x)