package json-data-encoding
Type-safe encoding to and decoding from JSON
Install
Dune Dependency
Authors
Maintainers
Sources
json-data-encoding-v0.8.tar.gz
md5=24fcb7feb10395eaaf840d1f8ccf162f
sha512=f6d2a00008a0cd88bfae2458f56dde8f45c4e209ece9805d3e8d2c74401e4a5f9e12f99d5318f58a30a4579d9c9e9f204a75269c2110bb16a3e1036b2599b7a5
doc/json-data-encoding/Json_repr/module-type-Repr/index.html
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>