Make (snarky.Snarky_backendless.Merkle

Parameters

module Impl : Snark_intf.Run_basic

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

val modify_req : 
  depth:int ->
  Hash.var ->
  Address.var ->
  f:( Elt.var -> Elt.var ) ->
  Hash.var

val get_req : depth:int -> Hash.var -> Address.var -> Elt.var

val update_req : 
  depth:int ->
  root:Hash.var ->
  prev:Elt.var ->
  next:Elt.var ->
  Address.var ->
  Hash.var