With_get_data (mavkit-libs.Mavryk_context_sigs.Context.With_get

Parameters

module Store : Storelike

Signature

val get_data : 
  Proof_types.merkle_leaf_kind ->
  Store.key list ->
  Store.tree ->
  (Store.tree
   * (Store.key
      * (Store.tree, Store.value) Either.t Mavryk_base.TzPervasives.Option.t)
       list)
    Lwt.t