let
of_list l =
let
res = create_fresh (
List
.length l)
in
of_list_aux res.ar 0 l;
res