Module Decl.RequestSource

Sourcetype ('req, 'resp) gen
Sourceval make_gen : req:'wire_req Conv.value -> resp:'wire_resp Conv.value -> upgrade_req:('wire_req -> 'req) -> downgrade_req:('req -> 'wire_req) -> upgrade_resp:('wire_resp -> 'resp) -> downgrade_resp:('resp -> 'wire_resp) -> version:Method.Version.t -> ('req, 'resp) gen
Sourceval make_current_gen : req:'req Conv.value -> resp:'resp Conv.value -> version:Method.Version.t -> ('req, 'resp) gen
Sourcetype ('a, 'b) t
Sourceval make : method_:Method.Name.t -> generations:('req, 'resp) gen list -> ('req, 'resp) t
Sourceval print_generations : ('req, 'resp) t -> unit
Sourcetype ('a, 'b) witness
Sourceval witness : ('a, 'b) t -> ('a, 'b) witness