summaryrefslogtreecommitdiff
path: root/manual
diff options
context:
space:
mode:
authorFlorian Angeletti <florian.angeletti@inria.fr>2022-11-18 10:50:52 +0100
committerGitHub <noreply@github.com>2022-11-18 10:50:52 +0100
commitd979990ba897a4ae84f1d6040efb13eee716760c (patch)
treee0adaf3716f7e1ac2243af5c2dbaed4fa3f87a92 /manual
parentbf4a8efe68c95cfc1f85b96add7a46c0d6433fce (diff)
parent98eb6b53ebbf1b7f14960c1e2a43b33402159c40 (diff)
downloadocaml-d979990ba897a4ae84f1d6040efb13eee716760c.tar.gz
Merge pull request #11526 from Octachron/experimental_alert
stdlib: add an unstable alert to the Effect and Domain modules
Diffstat (limited to 'manual')
0 files changed, 0 insertions, 0 deletions