diff options
| -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 *) |