src/Util/Strings/StringMap.v


1
2
3
4
5
6

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.