Module Misc.Error_style

type setting =
| Contextual
| Short