Module Extend_protocolSource

Sourcemodule Reader : sig ... end
Sourcetype description = {
  1. name : string;
  2. version : string;
}
Sourcetype capabilities = {
  1. reader : bool;
}
Sourcetype request =
  1. | Start_communication
  2. | Reader_request of Reader.request
Sourcetype response =
  1. | Notify of string
  2. | Debug of string
  3. | Exception of string * string
  4. | Reader_response of Reader.response