Async_iterator_rpcmodule Rpc_iterator : sig ... endThis module provides the tools necessary to link an iterator on the consumer end of a pipe RPC to a data stream on the producer end, respecting start, stop, and pushback. It is designed for exactly one active iteration per connection. Attempting more than one iteration on the same connection will result in an error.
module For_testing : sig ... end