Module Conex_resource.Wire

The wire encoding is abstract here, one suitable decoding and encoding engine is Conex_opam_encoding. The wire encoding is used for digest computations, and persistent storage on disk.

type s =
  1. | Map of s Conex_utils.M.t
  2. | List of s list
  3. | Identifier of identifier
  4. | Data of string
  5. | Bigint of Conex_utils.Uint.t
  6. | Smallint of int
  7. | Pair of s * s
  8. | And of s * s
  9. | Or of s * s

The values in the key value store: either a map, a list, an identifier, data (represented as string), or an unsigned integer.

The toplevel node, a Map

val to_string : t -> string

to_string t is a string representing t. This is used by Conex_verify.S to compute digests and signatures. There is no parser for this string encoding available.