diff options
| author | Son Ho | 2022-02-13 02:09:03 +0100 |
|---|---|---|
| committer | Son Ho | 2022-02-13 02:09:03 +0100 |
| commit | f69eec9362236e46ac90dc41a43ba0b00ad3fdc1 (patch) | |
| tree | 1c73c1f0f7117b812247a5bb2cd6c6e72c77f76c | |
| parent | 2a3117216e1a0aef9df1238e59be8b98c7f2076d (diff) | |
Make minor modifications
Diffstat (limited to '')
| -rw-r--r-- | tests/hashmap/Hashmap.Properties.fst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/tests/hashmap/Hashmap.Properties.fst b/tests/hashmap/Hashmap.Properties.fst index 7425b038..975b8671 100644 --- a/tests/hashmap/Hashmap.Properties.fst +++ b/tests/hashmap/Hashmap.Properties.fst @@ -2655,3 +2655,9 @@ let hash_map_insert_fwd_back_lem t self key value = hash_map_try_resize_fwd_back_lem hm' end else () + +(*** get *) + +(*** get_mut'fwd *) + +(*** get_mut'back *) |