fact: Fixpoint getTreeSupport_dups(A : Set)(t : DistApproxTree A) := match t with | dat_leaf o => match o with | None => nil | Some a => a :: nil end | dat_internal t1 t2 => getTreeSupport_dups t1 ++ getTreeSupport_dups t2 end.
imports: FCF.Comp FCF.DetSem FCF.DistSem FCF.Rat Arith FCF.StdNat FCF.Fold FCF.Limit Permutation ZifyNat