let
of_list list =
List
.fold_right (
fun
x xs
->
add x xs) list empty