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