LabelMap.v

(** Label maps (for stores).

*)

Require Import FSets.FMapInterface.
Require Import FSets.FMapFacts.
Require Import Coq.FSets.FMapWeakList.
Require Import Label.

Module Import LabelMapImpl : FMapInterface.WSfun Label :=
  FMapWeakList.Make Label.
Module Import LabelMapFacts := FMapFacts.WFacts_fun Label LabelMapImpl.
Notation LabelMap := LabelMapImpl.t.