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.15.3.tbz
sha256=3c27c7676414056f0368a71fdc670d2b0a59898090c78a1b68230984e5beb713
sha512=c88ac7a6ed9334a4bc6231ecfb0efaa961dda99bc386fd5b92505151ff833dfaf058d75305fbb64c496e570058ec9000ac6add06dda7a395e757e924af1d1a7f
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).
Notification sent from server to client
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>