Export `push` and `pop` - Githubissues

GaloisInc / cryptol

Cryptol: The Language of Cryptography

https://galoisinc.github.io/cryptol/master/RefMan.html

BSD 3-Clause "New" or "Revised" License

1.14k stars 126 forks source link

Export `push` and `pop` #1671

Closed RyanGlScott closed 5 months ago

RyanGlScott commented 5 months ago

Fixes #1670.