package dune-rpc
Communicate with dune using rpc
Install
dune-project
Dependency
Authors
Maintainers
Sources
dune-3.20.1.tbz
sha256=f08e95de2828e891d68906e4430b5117032285207b5bc684fc5d45652eb30e0a
sha512=a45eb69c773396285f3785a1c2edb4644e376c02053ff23cbc39dd2244c9e99527bdaed34b10ad8a0f50a143ce22777a76a0cd19f3a2d313cea9560986fa6bb9
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)"
>