Add FMapSect

mit-plv · May 19, 2022 · af8931c · af8931c
1 parent c1fe902
commit af8931c
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