Module Misc.Error_style
module Error_style:sig
..end
type
setting =
| |
Contextual |
| |
Short |
val default_setting : setting
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.