Skip to content
Extract Bertie

fix(hax-lib/macros): handle correctly &mut Self arguments in ensures #371

Sign in to view logs

fix(hax-lib/macros): handle correctly &mut Self arguments in ensures

fix(hax-lib/macros): handle correctly &mut Self arguments in ensures #371

This job was skipped