jon.recoil.org

Module Merlin_dot_protocol.DirectiveSource

Sourcetype include_path = [
  1. | `B of string
  2. | `S of string
  3. | `BH of string
  4. | `SH of string
  5. | `CMI of string
  6. | `CMT of string
  7. | `INDEX of string
]
Sourcetype unit_name_mapping = {
  1. basename : string;
  2. unit_name : string;
}
Sourcetype no_processing_required = [
  1. | `EXT of string list
  2. | `FLG of string list
  3. | `STDLIB of string
  4. | `SOURCE_ROOT of string
  5. | `UNIT_NAME of string
  6. | `UNIT_NAME_FOR of Merlin_dot_protocol.Directive.unit_name_mapping
  7. | `WRAPPING_PREFIX of string
  8. | `SOURCE_ROOT of string
  9. | `SUFFIX of string
  10. | `READER of string list
  11. | `EXCLUDE_QUERY_DIR
  12. | `USE_PPX_CACHE
  13. | `UNKNOWN_TAG of string
  14. | `UNIT_NAME_FOR_ERROR of string
]
Sourcemodule Processed : sig ... end
Sourcemodule Raw : sig ... end