Skip to content

Switch to widen which doesn't require leq on arguments - #2081

Draft
sim642 wants to merge 5 commits into
masterfrom
widen-no-leq
Draft

Switch to widen which doesn't require leq on arguments#2081
sim642 wants to merge 5 commits into
masterfrom
widen-no-leq

Remove join wrappers from more value domains

976c501
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
api-build (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
succeeded Jul 24, 2026 in 4m 40s