fact: Definition uniquize {A} (beq : A -> A -> bool) (ls : list A) : list A := fold_right (fun x xs => if list_bin beq x xs then xs else x::xs) nil ls.
imports: Coq.Lists.List Fiat.Common.BoolFacts Fiat.Common.Equality