package dune-rpc
Communicate with dune using rpc
Install
dune-project
Dependency
Authors
Maintainers
Sources
dune-3.22.2.tbz
sha256=c2ccf8bc6b17afa47c450297357496303aa7c8680e329b79d98c68e35013a118
sha512=26d3df56a509c6e8937a9333944303bdd8800a41e1b869c3adfb76d1e1fe615b6ec41491d596bd5982e338dcf70b97c18f963f37bfbf2bd581cbd356f3d5f4e5
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;
}