let uterm_of_data (d : F.data) : unit Fol.d_term = let hide_data (_ : F.data) : unit Fol.d_term = assert false in Fol.translate_data_in_term hide_data (t_of_l d)