Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val raw_context_gen :
Tezos_context_sigs.Context.Proof_types.raw_context QCheck2.Gen.t
raw_context_gen
is a QCheck2.Gen.t
for raw_context
.
val print_raw_context :
Tezos_context_sigs.Context.Proof_types.raw_context ->
string
val merkle_proof_gen :
(Tezos_context_sigs.Context.Proof_types.tree
Tezos_context_sigs.Context.Proof_types.t
* Tezos_context_memory.Context.tree
* string list)
QCheck2.Gen.t
merkle_proof_gen
is a QCheck2.Gen.t
for Proof.tree Proof.t
.
val print_merkle_proof :
(Tezos_context_sigs.Context.Proof_types.tree
Tezos_context_sigs.Context.Proof_types.t
* Tezos_context_memory.Context.tree
* string list) ->
string