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