package dune-rpc
Communicate with dune using rpc
Install
Dune Dependency
Authors
Maintainers
Sources
dune-3.15.0.tbz
sha256=b5c3d10f6f6048bfaf56fc4f0942d56381b55af4287caf8251487d4c4e7920d7
sha512=b3944b47c7ab1b2109aabc73dab7b9227765168bdcaddda875f3ee3c8277825f4a2672fbba903bf54ea507d00c7649c7dfc3c3bb156365d3052e570cf02caa82
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)"
>