local
    fun rimuovi lista elemento = case lista of
                                [] => []
                                | li::ta => if (elemento = li) then (rimuovi ta elemento) else (li :: (rimuovi ta elemento));
    fun noduplen_hid lista n = case lista of
                                [] =>  n
                                |li::ta => (noduplen_hid (rimuovi ta li) (n+1));

    in fun noduplen lista = noduplen_hid lista 0
end
;

noduplen [1];
noduplen [1,2,3,4];
noduplen [1,1,1,4];
noduplen [2,4,1,4,1];
noduplen [];
noduplen [1,13,23,43,1];