Module Merlin_dot_protocol.Directive
Source
Sourcetype include_path = [
| `B of string
| `S of string
| `CMI of string
| `CMT of string
]
Sourcetype no_processing_required = [
| `EXT of string list
| `FLG of string list
| `STDLIB of string
| `SOURCE_ROOT of string
| `UNIT_NAME of string
| `WRAPPING_PREFIX of string
| `SUFFIX of string
| `READER of string list
| `EXCLUDE_QUERY_DIR
| `USE_PPX_CACHE
| `UNKNOWN_TAG of string
]