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