Execution_context (tezos-benchmark-alpha.Tezos_benchmark_alpha.Execution

type context =
  Tezos_protocol_alpha.Protocol.Alpha_context.context
  * Tezos_protocol_alpha.Protocol.Script_interpreter.step_constants

val initial_balance : int64

val context_init_memory : 
  ?dal:Tezos_protocol_alpha.Protocol.Alpha_context.Constants.Parametric.dal ->
  rng_state:Stdlib.Random.State.t ->
  unit ->
  ([> `Mem_block of
        Tezos_alpha_test_helpers.Block.t
        * (Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t) ],
    Tezos_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

val context_init : 
  ?dal:Tezos_protocol_alpha.Protocol.Alpha_context.Constants.Parametric.dal ->
  rng_state:Stdlib.Random.State.t ->
  unit ->
  ([> `Mem_block of
        Tezos_alpha_test_helpers.Block.t
        * (Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t
           * Tezos_protocol_alpha.Protocol.Alpha_context.Contract.t) ],
    Tezos_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

val make : 
  ?dal:Tezos_protocol_alpha.Protocol.Alpha_context.Constants.Parametric.dal ->
  rng_state:Stdlib.Random.State.t ->
  unit ->
  (Tezos_raw_protocol_alpha__Alpha_context.t
   * Tezos_protocol_alpha.Protocol.Script_interpreter.step_constants,
    Tezos_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t