Skip to content
Back to pull request #764

feat(hax-lib): allow requires & ensures on &mut inputs functions #414

Sign in to view logs

feat(hax-lib): allow requires & ensures on &mut inputs functions

feat(hax-lib): allow requires & ensures on &mut inputs functions #414

This job was skipped