diff options
| author | Chimrod <> | 2023-10-03 18:19:15 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-15 19:04:36 +0200 |
| commit | 5a18a66763bcc19de117cb83293d7bd25a0ea10c (patch) | |
| tree | 1627ae50da1a87e5952b5fab21b7290b0555041e /lib/syntax/report.ml | |
| parent | 49f69c1ab4d3d8716f30d7bd36a66a4241e16d33 (diff) | |
Switched the keyword from string to a sum type
Diffstat (limited to 'lib/syntax/report.ml')
0 files changed, 0 insertions, 0 deletions