Tree (sparse_ledger_lib.Sparse_ledger_lib.Sparse

module Stable : sig ... end

type ('hash, 'account) t = ( 'hash, 'account ) Stable.Latest.t =

| Account of 'account

| Hash of 'hash

| Node of 'hash * ( 'hash, 'account ) t * ( 'hash, 'account ) t

val to_yojson : 
  'hash 'account. ( 'hash -> Yojson.Safe.t ) ->
  ( 'account -> Yojson.Safe.t ) ->
  ( 'hash, 'account ) t ->
  Yojson.Safe.t

val of_yojson : 
  'hash 'account. ( Yojson.Safe.t ->
                    'hash Ppx_deriving_yojson_runtime.error_or ) ->
  ( Yojson.Safe.t -> 'account Ppx_deriving_yojson_runtime.error_or ) ->
  Yojson.Safe.t ->
  ( 'hash, 'account ) t Ppx_deriving_yojson_runtime.error_or

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

val equal : 
  'hash 'account. ( 'hash -> 'hash -> bool ) ->
  ( 'account -> 'account -> bool ) ->
  ( 'hash, 'account ) t ->
  ( 'hash, 'account ) t ->
  bool

val t_of_sexp : 
  'hash 'account. ( Ppx_sexp_conv_lib.Sexp.t -> 'hash ) ->
  ( Ppx_sexp_conv_lib.Sexp.t -> 'account ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  ( 'hash, 'account ) t

val sexp_of_t : 
  'hash 'account. ( 'hash -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'account -> Ppx_sexp_conv_lib.Sexp.t ) ->
  ( 'hash, 'account ) t ->
  Ppx_sexp_conv_lib.Sexp.t