From e73bf4d3e584b540236590b030cbe31be6a75b1f Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 19 Sep 2022 21:48:45 -0400 Subject: [PATCH] util: add Str_map --- src/util/Util.ml | 1 + src/util/Util.mli | 1 + 2 files changed, 2 insertions(+) diff --git a/src/util/Util.ml b/src/util/Util.ml index 8edc454f..678317b2 100644 --- a/src/util/Util.ml +++ b/src/util/Util.ml @@ -60,3 +60,4 @@ module Int_set = CCSet.Make (CCInt) module Int_map = CCMap.Make (CCInt) module Int_tbl = CCHashtbl.Make (CCInt) module Str_tbl = CCHashtbl.Make (CCString) +module Str_map = CCMap.Make (CCString) diff --git a/src/util/Util.mli b/src/util/Util.mli index 6ef63b4e..5b785698 100644 --- a/src/util/Util.mli +++ b/src/util/Util.mli @@ -25,3 +25,4 @@ module Int_set : CCSet.S with type elt = int module Int_map : CCMap.S with type key = int module Int_tbl : CCHashtbl.S with type key = int module Str_tbl : CCHashtbl.S with type key = string +module Str_map : CCMap.S with type key = string