package dune-rpc
Communicate with dune using rpc
Install
dune-project
Dependency
Authors
Maintainers
Sources
dune-3.20.2.tbz
sha256=b1a86b2d60bdb4a8b9bb6861bdf2f9f28a6e7cb5d833ce81afecceb9ef9ca549
sha512=ed14df9163e487d4ae7d0a2427eaab7823ef1f0ef2d93f0b783e6f163bbd5b44ba73f055d60b84e76f476fe11d38e794013628a1da776d9ec13cca9666e7b7ff
doc/dune-rpc.private/Dune_rpc_private/Menu/index.html
Module Dune_rpc_private.Menu
Source
Source
val select_common :
local_versions:Method.Version.Set.t Method.Name.Map.t ->
remote_versions:(Method.Name.t * Method.Version.t list) list ->
t option
For each method known by both local and remote, choose the highest common version number. Returns None
if the resulting menu would be empty.
Source
val of_list :
(Method.Name.t * Method.Version.t) list ->
(t, Method.Name.t * Method.Version.t * Method.Version.t) Stdune.result
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>