Diagnostics.TYPES
type severity =
| Hint
| Note
| Info
| Warn
| Error
type diagnostic
type diagnostics
type 'a in_result = ('a * diagnostic option, diagnostic option) Stdlib.result
type 'a with_diags = {
result : 'a;
diags : diagnostics;
}