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 version http://json-schema.org/draft-04/schema#.