return to top
source
A specialized hash map for string keys. Uses Lean's standard HashMap.
Create an empty header map.
Insert a key-value pair.
Look up a value by key.