rename vec::push_b to vec::put

zetzit / zz

🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C

MIT License

1.6k stars 52 forks source link

Closed aep closed 3 years ago

aep commented 3 years ago

put: To place something somewhere. push: To press upon or against (a thing) with force in order to move it away.