package dune-rpc
Communicate with dune using rpc
Install
Dune Dependency
Authors
Maintainers
Sources
dune-3.18.2.tbz
sha256=56be509ffc3c5ba652113d9e6b43edb04a691f1e1f6cbba17b9d243b1239a7af
sha512=ee04a0c4ab946817018c78cd9b19c8d3082ee3b1cef78c699fff4ea37fd79543823a9751d0b945d2fd1783396ceded045cbec986a85f7a8f7bac93e04650fff3
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)"
>