End MapFoldDistrL.
Section MapFoldExists.
Variable A : Type.

Lemma MapFold_orb_1 :
forall (f:ad -> A -> bool) (m:Map A) (pf:ad -> ad),
MapFold1 A bool false orb f pf m =
match MapSweep1 A f pf m with
| Some _ => true
| _ => false
end.