summaryrefslogtreecommitdiff
path: root/tests/coq/hashmap/_CoqProject
blob: 94708adcf6c61d91e1f326ec67007e04389adadf (plain)
1
2
3
4
5
6
7
8
-R . Lib
-arg -w
-arg all

Primitives.v

Hashmap_Types.v
Hashmap_Funs.v