fact: Definition getTreeSupport(A : Set)(eqd : eq_dec A)(t : DistApproxTree A) : list A := getUnique (getTreeSupport_dups t) eqd.
imports: FCF.Comp FCF.DetSem FCF.DistSem FCF.Rat Arith FCF.StdNat FCF.Fold FCF.Limit Permutation ZifyNat