Skip to content
Ensure formatting

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

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 #3799

Annotations

1 warning

ocamlformat

ocamlformat
succeeded Jan 22, 2025 in 51s