Merkle_tree.Checked
module Impl : Snark_intf.S
module Hash : sig ... end
module Elt : sig ... end
module Address : sig ... end
module Path : sig ... end
type Request.t +=
| Get_element : Address.value -> (Elt.value * Path.value) Request.t |
| Get_path : Address.value -> Path.value Request.t |
| Set : Address.value * Elt.value -> unit Request.t |
val implied_root :
Hash.var ->
Address.var ->
Path.var ->
Hash.var Impl.Checked.t
val modify_req :
depth:int ->
Hash.var ->
Address.var ->
f:( Elt.var -> Elt.var Impl.Checked.t ) ->
Hash.var Impl.Checked.t
val fetch_and_update_req :
depth:int ->
Hash.var ->
Address.var ->
f:( Elt.var -> Elt.var Impl.Checked.t ) ->
(Hash.var * [ `Old of Elt.var ] * [ `New of Elt.var ]) Impl.Checked.t
val get_req : depth:int -> Hash.var -> Address.var -> Elt.var Impl.Checked.t
val update_req :
depth:int ->
root:Hash.var ->
prev:Elt.var ->
next:Elt.var ->
Address.var ->
Hash.var Impl.Checked.t