let
term env t = term_of_data (data_of_term env t)