jon.recoil.org

Module Misc.Error_styleSource

Sourcetype setting =
  1. | Contextual
  2. | Short
  3. | Merlin
Sourceval default_setting : setting