Skip to content

More deprecations in Pervasives; add Stdlib.Pair and Stdlib.Int.Ref - #7371

Merged
cknitt merged 7 commits into
masterfrom
deprecations
Apr 1, 2025
Merged

More deprecations in Pervasives; add Stdlib.Pair and Stdlib.Int.Ref#7371
cknitt merged 7 commits into
masterfrom
deprecations

Add Pair.equal, Pair.compare

e09ba98
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs