Skip to content

Take into account witnesses when computing [lessequal] on values#2402

Merged
gretay-js merged 1 commit intooxcaml:mainfrom
gretay-js:fix_drop_witnesses
Mar 28, 2024
Merged

Take into account witnesses when computing [lessequal] on values#2402
gretay-js merged 1 commit intooxcaml:mainfrom
gretay-js:fix_drop_witnesses

Commits

Commits on Mar 28, 2024