A ('worker, 'query, 'response) Function.t is a type-safe function 'query -> 'response Deferred.t that can only be run on a 'worker. Under the hood it represents an Async Rpc protocol that we know a 'worker will implement.
('worker, 'query, 'response) Function.t
'query -> 'response Deferred.t
'worker