Previously the doc comments for Type_equal.mli "OCaml has no built-in language feature to state that a type is injective" but such comments were added in 4.12.
This change may be helpful for code readers to know that OCaml has a built-in alternative to the Injectivity machinery, though tbh I'm not sure what the trade-off is when choosing to use Injectivity vs !
Update doc comments to reflect that OCaml has injectivity annotations.
Previously the doc comments for
Type_equal.mli"OCaml has no built-in language feature to state that a type is injective" but such comments were added in 4.12.This change may be helpful for code readers to know that OCaml has a built-in alternative to the
Injectivitymachinery, though tbh I'm not sure what the trade-off is when choosing to useInjectivityvs!