let
insert_with_no_copy elt list =
if
not (
List
.mem elt list)
then
elt::list
else
list