package dune-rpc
Communicate with dune using rpc
Install
dune-project
Dependency
Authors
Maintainers
Sources
dune-3.22.0.tbz
sha256=cb816b2e672ca6c6ea680133f01287bd95a58ca611cb476acff67b8adbacf722
sha512=c99102070a9c90b29ca4cac68bd2444c086dd0ac5b63515d561087509beff719c4c534ee844f25ce391d1c08080f9e78b7dd32ed14057c6b9cc7886f60337f3b
doc/dune-rpc.private/Dune_rpc_private/Decl/Generation/index.html
Module Decl.GenerationSource
Source
type ('wire_req, 'wire_resp, 'real_req, 'real_resp) conv = {req : 'wire_req Conv.value;resp : 'wire_resp Conv.value;upgrade_req : 'wire_req -> 'real_req;downgrade_req : 'real_req -> 'wire_req;upgrade_resp : 'wire_resp -> 'real_resp;downgrade_resp : 'real_resp -> 'wire_resp;
}