package dune-rpc

  1. Overview
  2. Docs
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/Public/Request/Initialize/index.html

Module Request.InitializeSource

Sourcetype t = {
  1. dune_version : int * int;
  2. protocol_version : int;
  3. id : Dune_rpc_private__.Types.Id.t;
}
Sourceval create : id:Dune_rpc_private__.Types.Id.t -> t
Sourceval of_call : Dune_rpc_private__.Types.Call.t -> version:(int * int) -> (t, Dune_rpc_private__.Types.Response.Error.t) result
Sourceval dune_version : t -> int * int
Sourceval protocol_version : t -> int
Sourceval id : t -> Dune_rpc_private__.Types.Id.t
Sourceval to_call : t -> Dune_rpc_private__.Types.Call.t