package ocplib-json-typed
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
ocplib-json-typed 0.7.1
Libraries
This package provides the following libraries (via dune):
ocplib-json-typed
Documentation:
Json_encoding
JSON structure description using dependently typed combinators.Json_query
Queries in JSON documentsJson_repr
Representations of JSON documentsJson_schema
Abstract representation of JSON schemas as of versionhttp://json-schema.org/draft-04/schema#
.
Dependencies: uri
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page