package dune-rpc
Communicate with dune using rpc
Install
Dune Dependency
Authors
Maintainers
Sources
dune-3.8.3.tbz
sha256=e2b78ba805cef320f0b5978c4d371fde8ab82546d5ae51a0cb451042193b5bf8
sha512=25cc6addcd10cd483f49d924028c886b529a815ad2f354a277c9fe27efaa2139eea465565bae1f52a3a6832b082f46761efacd692cc88b33aa585250feccaf2c
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)"
>