let
data_of_boolean (x:
F
.boolean) : data =
Data
(
F
.wrap x)