simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-07 03:35:38 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

util: add Str_map

Browse source
This commit is contained in:
Simon Cruanes 2022-09-19 21:48:45 -04:00
parent 1c07b027ef
commit e73bf4d3e5
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/util/Util.ml
View file

@ -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)

1
src/util/Util.mli
View file

@ -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