src/Util/StringMap.v


1
2
3
4
5
6
7

Require Import Coq.FSets.FMapInterface.
Require Import Coq.FSets.FMapList.
Require Import Coq.Structures.OrderedType.
Require Import Coq.Strings.String.
Require Import Crypto.Util.Strings.String_as_OT.

Module StringMap := FMapList.Make String_as_OT.