package tezos-shell-services-test-helpers

  1. Overview
  2. Docs

Module Tezos_shell_services_test_helpers.Shell_services_test_helpersSource

Sourceval 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.

Sourceval print_raw_context : Tezos_context_sigs.Context.Proof_types.raw_context -> string
Sourceval 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.

Sourceval 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
OCaml

Innovation. Community. Security.