Require Coq.FSets.FMapFacts.