search

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
MIT License
1.6k stars 52 forks source link

add 'map::clear()', 'map::has()', 'map::insert()', 'map::set()' convenience methods #131

Closed jwerle closed 3 years ago

aep commented 3 years ago

@jwerle in line with #132 i believe insert should copy while set does borrow i.e. the naming convention is "the more forceful verb does a copy".

At least i hope this makes sense more than the _o and _b postifx.

jwerle commented 3 years ago

Makes sense!

jwerle commented 3 years ago

Still working on this! Should have out ~this morning~ today :pray:

aep commented 3 years ago

lgtm thanks