Answer (syncable_ledger.Syncable

module Stable : sig ... end

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

`\| Child_hashes_are of 'hash * 'hash`	(* The requested address's children have these hashes * *)
`\| Contents_are of 'account list`	(* The requested address has these accounts *)
`\| Num_accounts of int * 'hash`	(* There are this many accounts and the smallest subtree that contains all non-empty nodes has this hash. *)

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 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