This is an internal implementation file of the hash map. Users of the hash map should not rely on the contents of this file.
File contents: definitions on lists needed to state the well-formedness predicate
Internal implementation detail of the hash map
Equations
- Std.DHashMap.Internal.List.keys [] = []
- Std.DHashMap.Internal.List.keys (⟨k, snd⟩ :: l) = k :: Std.DHashMap.Internal.List.keys l
Internal implementation detail of the hash map
Equations
- Std.DHashMap.Internal.List.values [] = []
- Std.DHashMap.Internal.List.values (⟨fst, v⟩ :: l) = v :: Std.DHashMap.Internal.List.values l