sig type setting = Contextual | Short val default_setting : Misc.Error_style.setting end