Optimize rename #4
Description
According to the comment it was done in the naïve way.
let rename t ~source ~dest =
(* TODO(dinosaure): optimize it! It was done on the naive way. *){{ message }}
Optimize
rename #4According to the comment it was done in the naïve way.
let rename t ~source ~dest =
(* TODO(dinosaure): optimize it! It was done on the naive way. *)