package dune-rpc
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
Communicate with dune using rpc
Install
dune-project
Dependency
Authors
Maintainers
Sources
dune-3.21.0.tbz
sha256=e76d4d89368a0a70025193aeaf4f7c5b54031dba3f59bf9d2af1971dc0eceddd
sha512=a7531de073a47f644bd1e06bfb424c50a61d34245e5e0a1f32d8da920437e8fe59246304cb7aec25f797a8dafea876feceeccfe5139502ead4d1ba5c45773ef3
doc/dune-rpc.private/Dune_rpc_private/index.html
Module Dune_rpc_privateSource
This is kept around for compatibility reasons. Before we serialised Pp.t tags as (Tag pp) but now we serialise them as Tag (pair tag pp).
A compound user error defines an alternative format for error messages that retains more structure. This can be used to display the errors in richer form by RPC clients.
Describe what files should be promoted. The second argument of These is a function that is called on files that cannot be promoted.
Notification sent from server to client
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>