let from_bits : t_bits -> format -> F.abstract = F.e_app2 "rt_from_bits"