Oxcaml: Support for modes - #1454

Open

art-w wants to merge 8 commits into

ocaml:masterfrom

art-w:oxcaml-modes

Commits on Aug 25, 2026

OxCaml: Add tests for modes
art-w
committed
31b307b
OxCaml: Support for modes
art-w
committed
1bfebda
OxCaml: type alias for type-with-modes
art-w
committed
63da483
OxCaml: Note why the implicit self arrow's modes are dropped
art-w
committed
4af8eaf
OxCaml: enforce known mode axes
art-w
committed
96bf779
OxCaml: fix modes tests
art-w
committed
f3df4f4
OxCaml: guard method from modes
art-w
committed
ccb0f65
OxCaml: rename to implied_modes
art-w
committed
b9d4b85