Add FMapSect (#1236)

mit-plv · May 19, 2022 · f352fca · f352fca
1 parent 998e4b6
commit f352fca
Show file tree

Hide file tree

Showing 2 changed files with 776 additions and 0 deletions.
diff --git a/_CoqProject b/_CoqProject
@@ -312,6 +312,7 @@ src/Util/ErrorT/List.v
 src/Util/ErrorT/Show.v
 src/Util/FSets/FMapIso.v
 src/Util/FSets/FMapN.v
+src/Util/FSets/FMapSect.v
 src/Util/ListUtil/CombineExtend.v
 src/Util/ListUtil/Concat.v
 src/Util/ListUtil/Filter.v