let
of_list l = of_list_aux (create_fresh (
List
.length l)) 0 l