proposition: Theorem getSupport_In_Ret : forall (A : Set)(eqd : eq_dec A) x a, In x (getSupport (Ret eqd a)) -> x = a.
proof: Proof. intuition. simpl in *. intuition. Qed.
imports: Bvector List FCF.Blist FCF.EqDec FCF.Fold FCF.EqDec