summaryrefslogtreecommitdiff
path: root/src/Identifiers.ml
diff options
context:
space:
mode:
authorSon Ho2022-01-28 21:12:13 +0100
committerSon Ho2022-01-28 21:12:13 +0100
commit21dddf2fc6c09495de56250961ab69b2b6506112 (patch)
treebe3782fe67059aa7b395a3bd5cabaf98702075d7 /src/Identifiers.ml
parentdae758e940e3bf023c25d86f7d05b8cea80c1ed5 (diff)
Make the scrutinee in Pure.Switch an expression rather than a value
Diffstat (limited to 'src/Identifiers.ml')
0 files changed, 0 insertions, 0 deletions