Searched defs:request_tube (Results 1 – 2 of 2) sorted by relevance
36 request_tube: Tube, field
621 let request_tube = translate_request_rx in run() localVariable666 let request_tube = match request_tube { in handle_translate_request() localVariable