let
to_bits : format
->
F
.abstract
->
t_bits =
F
.e_app2
"rt_to_bits"