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/Diagnostic/index.html
Module Dune_rpc_private.Diagnostic
Source
Source
type t = {
targets : Target.t list;
id : Id.t;
message : User_message.Style.t Pp.t;
loc : Loc.t option;
severity : severity option;
promotion : Promotion.t list;
directory : string option;
}
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>