blob: 4a7d0ba1aa37f9f71254467300c3ddbeeb442558 (
plain)
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.
|