Module Merlin_dot_protocol.DirectiveSource
Sourcetype include_path = [ | `B of string| `S of string| `BH of string| `SH of string| `CMI of string| `CMT of string| `INDEX 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
]