Module type Syncable_ledger.S

type 'a t
include Ppx_sexp_conv_lib.Sexpable.S1 with type 'a t := 'a t
val t_of_sexp : ( Sexplib0__.Sexp.t -> 'a ) -> Sexplib0__.Sexp.t -> 'a t
val sexp_of_t : ( 'a -> Sexplib0__.Sexp.t ) -> 'a t -> Sexplib0__.Sexp.t
type merkle_tree
type merkle_path
type hash
type root_hash
type addr
type diff
type account
type index = int
type query
type answer
module Responder : sig ... end
val create : merkle_tree -> logger:Logger.t -> trust_system:Trust_system.t -> 'a t
val query_reader : 'a t -> (root_hash * query) Pipe_lib.Linear_pipe.Reader.t
val destroy : 'a t -> unit
val new_goal : 'a t -> root_hash -> data:'a -> equal:( 'a -> 'a -> bool ) -> [ `Repeat | `New | `Update_data ]
val peek_valid_tree : 'a t -> merkle_tree option
val valid_tree : 'a t -> (merkle_tree * 'a) Async_kernel.Deferred.t
val wait_until_valid : 'a t -> root_hash -> [ `Ok of merkle_tree | `Target_changed of root_hash option * root_hash ] Async_kernel.Deferred.t
val fetch : 'a t -> root_hash -> data:'a -> equal:( 'a -> 'a -> bool ) -> [ `Ok of merkle_tree | `Target_changed of root_hash option * root_hash ] Async_kernel.Deferred.t
val apply_or_queue_diff : 'a t -> diff -> unit
val merkle_path_at_addr : 'a t -> addr -> merkle_path Core_kernel.Or_error.t
val get_account_at_addr : 'a t -> addr -> account Core_kernel.Or_error.t