Module Decl.GenerationSource

Sourcetype ('wire_req, 'wire_resp, 'real_req, 'real_resp) conv = {
  1. req : 'wire_req Conv.value;
  2. resp : 'wire_resp Conv.value;
  3. upgrade_req : 'wire_req -> 'real_req;
  4. downgrade_req : 'real_req -> 'wire_req;
  5. upgrade_resp : 'wire_resp -> 'real_resp;
  6. downgrade_resp : 'real_resp -> 'wire_resp;
}
Sourcetype (_, _) t =
  1. | T : ('wire_req, 'wire_resp, 'real_req, 'real_resp) conv -> ('real_req, 'real_resp) t