Module Misc.Error_style

type setting =
| Contextual
| Short
val default_setting : setting