Query (syncable_ledger.Syncable

module Stable : sig ... end

type 'addr t = 'addr Stable.Latest.t =

`\| What_child_hashes of 'addr`	(* What are the hashes of the children of this address? *)
`\| What_contents of 'addr`	(* What accounts are at this address? addr must have depth tree_depth - account_subtree_height *)
`\| Num_accounts`	(* How many accounts are there? Used to size data structure and figure out what part of the tree is filled in. *)

val to_yojson : 'addr. ( 'addr -> Yojson.Safe.t ) -> 'addr t -> Yojson.Safe.t

val of_yojson : 
  'addr. ( Yojson.Safe.t -> 'addr Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  'addr t Ppx_deriving_yojson_runtime.error_or

val _ : 
  ( Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  'a t Ppx_deriving_yojson_runtime.error_or

val t_of_sexp : 
  'addr. ( Ppx_sexp_conv_lib.Sexp.t -> 'addr ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  'addr t

val sexp_of_t : 
  'addr. ( 'addr -> Ppx_sexp_conv_lib.Sexp.t ) ->
  'addr t ->
  Ppx_sexp_conv_lib.Sexp.t

val hash_fold_t : 
  'addr. ( Ppx_hash_lib.Std.Hash.state ->
           'addr ->
           Ppx_hash_lib.Std.Hash.state ) ->
  Ppx_hash_lib.Std.Hash.state ->
  'addr t ->
  Ppx_hash_lib.Std.Hash.state

val compare : 'addr. ( 'addr -> 'addr -> int ) -> 'addr t -> 'addr t -> int