package dune-rpc
Communicate with dune using rpc
Install
Dune Dependency
Authors
Maintainers
Sources
dune-3.8.0.tbz
sha256=f7e2970bfab99c7766ff1a05deff5ad7f82cb2471abca6f72449572293f5f6b4
sha512=3b3a566f63842c314de2c0a660c5f7714bc90f8303c82d82e3021aee84980eff1886d15c9b9d4ea0047a411d799fb39d5f2ea70a92bdeb629e00d3d5d5f2d994
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)"
>